Skip to content
CI

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

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… #16

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-test (ubuntu-latest)
1m 27s
build-and-test (macos-latest)
2m 25s
build-and-test (macos-13)
6m 10s
build-and-test (windows-latest)
4m 25s
14m 27s