Skip to content
CI

[ fix ] Add dummy LSP handlers and release Agda v2.7.0.1 Language Ser… #15

Sign in to view logs

[ fix ] Add dummy LSP handlers and release Agda v2.7.0.1 Language Ser…

[ fix ] Add dummy LSP handlers and release Agda v2.7.0.1 Language Ser… #15

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-test (ubuntu-latest)
1m 36s
build-and-test (macos-latest)
4m 7s
build-and-test (macos-13)
4m 46s
build-and-test (windows-latest)
6m 54s
17m 23s