[ v0.8.0-rc1 ] Generate bootstrap code #41
CodingCellistci-idris2-and-libs.yml
on: push
initialise
5s
nix-bootstrap-chez
24m 27s
macos-self-host-chez
29m 46s
ub-test-collie
32s
ub-test-frex
4m 3s
ub-test-elab-util
2m 13s
ub-pack-test-pack
20m 40s
ub-pack-test-lsp
21m 14s
ub-test-katla-and-html
7m 40s
ubuntu-self-host-racket
0s
windows-self-host-racket
12m 10s
Annotations
3 errors
|
ubuntu-bootstrap-racket
Process completed with exit code 2.
|
|
ub-pack-test-pack
Process completed with exit code 1.
|
|
ub-pack-test-lsp
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
idris2-nightly-chez
Expired
|
38.2 MB |
sha256:47f1bc1f889fbf13b117e18509e6fcc31aad4aa3b29b6ba94cf7cde018d240ea
|
|
|
macos-installed-bootstrapped-idris2-chez
Expired
|
28.7 MB |
sha256:55cd0d3c10766d1fdea1ae20dfa9b0a54e9542b3227ca7900462c446314c1467
|
|
|
ubuntu-installed-bootstrapped-idris2-chez
Expired
|
25.3 MB |
sha256:d5c13e7b71bf5a4b124e12b92dc58fe057ec2a7afac86f24a422a92339fda30d
|
|
|
ubuntu-installed-idris2-0.7.0-chez
Expired
|
38.3 MB |
sha256:c7ece15e7eeeddd0e98fa3264119421160b93e930b42cb953465fdaedac4aae0
|
|
|
windows-installed-bootstrapped-idris2-chez
Expired
|
25.5 MB |
sha256:e32109eed4d54d3dafdbcaab9c6c12f7783150471e5dc3ece7ea2c29bb75935c
|
|