Skip to content
CI (Windows)

[ git ] Merge pull request #23 from agda/lsp-2 #153

Sign in to view logs

[ git ] Merge pull request #23 from agda/lsp-2

[ git ] Merge pull request #23 from agda/lsp-2 #153

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
44m 22s
44m 22s