Skip to content
Idris2 and External Libs

[ admin ] Clear the release checklist post-v0.8.0 #44

Sign in to view logs

[ admin ] Clear the release checklist post-v0.8.0

[ admin ] Clear the release checklist post-v0.8.0 #44

Triggered via push November 6, 2025 14:06
@CodingCellistCodingCellist
pushed fe78d82
main
Status Success
Total duration 52m 5s
Artifacts 6

ci-idris2-and-libs.yml

on: push
initialise
5s
initialise
quick-check
14m 25s
quick-check
macos-bootstrap-chez
12m 42s
macos-bootstrap-chez
ubuntu-self-host-previous-version
14m 49s
ubuntu-self-host-previous-version
ubuntu-bootstrap-chez
8m 33s
ubuntu-bootstrap-chez
ubuntu-bootstrap-racket
19m 39s
ubuntu-bootstrap-racket
windows-bootstrap-chez
18m 22s
windows-bootstrap-chez
nix-bootstrap-chez
23m 47s
nix-bootstrap-chez
macos-self-host-chez
24m 37s
macos-self-host-chez
ub-test-collie
32s
ub-test-collie
ub-test-frex
4m 16s
ub-test-frex
ub-test-elab-util
1m 1s
ub-test-elab-util
ub-pack-test-pack
19m 22s
ub-pack-test-pack
ub-pack-test-lsp
21m 32s
ub-pack-test-lsp
ub-test-katla-and-html
7m 49s
ub-test-katla-and-html
ubuntu-self-host-chez
13m 32s
ubuntu-self-host-chez
ubuntu-build-api
6m 2s
ubuntu-build-api
ubuntu-self-host-racket
ubuntu-self-host-racket
windows-self-host-racket
12m 42s
windows-self-host-racket
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
idris2-nightly-chez Expired
25.3 MB
sha256:69a87329abc19003013d5b8dbce28efaee14ba636bdc8fb1b0b0b99b2a269a3f
macos-installed-bootstrapped-idris2-chez Expired
28.7 MB
sha256:3bacba56ce58f6d433ad139c7c42abaf925e6cfad90e08a41b86a14a08f5e23b
ubuntu-installed-bootstrapped-idris2-chez Expired
25.3 MB
sha256:401b2360b2253b7a526605669f8b7a9a60d05d4817ed862201eb8bf2c0f7fce5
ubuntu-installed-bootstrapped-idris2-racket Expired
56.8 MB
sha256:5eefdc7ef81936f2b60f2935afdc20b56cc677a73a2d3c0e6fefe5f7f7db3b72
ubuntu-installed-idris2-0.8.0-chez Expired
25.3 MB
sha256:9fb75640b05d54ced7b7ca3eacc345c15f9a6fa2a523401b7ab75a4a68b12242
windows-installed-bootstrapped-idris2-chez Expired
25.5 MB
sha256:1fb7ef2c35756b58ed86e12c7436400aa997a36758547d881da7f210b5b9f690