[ fix ] case splitting with multiple implicits #1223
dunhamsteveci-idris2-and-libs.yml
on: pull_request
initialise
4s
nix-bootstrap-chez
26m 9s
macos-self-host-chez
28m 40s
ub-test-collie
39s
ub-test-frex
3m 51s
ub-test-elab-util
42s
ub-pack-test-pack
19m 15s
ub-pack-test-lsp
23m 21s
ub-test-katla-and-html
8m 19s
ubuntu-self-host-racket
0s
windows-self-host-racket
17m 52s
Annotations
1 error
|
ubuntu-self-host-chez
Process completed with exit code 2.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
idris2-nightly-chez
|
40.3 MB |
|
|
macos-installed-bootstrapped-idris2-chez
|
29.1 MB |
|
|
ubuntu-installed-bootstrapped-idris2-chez
|
27.6 MB |
|
|
ubuntu-installed-bootstrapped-idris2-racket
|
57.6 MB |
|
|
ubuntu-installed-idris2-0.7.0-chez
|
40.4 MB |
|
|
windows-installed-bootstrapped-idris2-chez
|
27.9 MB |
|