Test pack and lsp during CI #1
ci-extern-libs.yml
on: pull_request
initialise
4s
test-collie
39s
test-frex
2m 7s
test-elab-util
1m 34s
test-pack
19m 8s
test-lsp-pack
30m 58s
test-katla-and-html
11m 48s
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
idris2-nightly-chez
Expired
|
168 MB |
|
ubuntu-installed-idris2-0.6.0-chez
Expired
|
172 MB |
|