Skip to content
Idris2 and External Libs

[ fix #3654 ] Name all implicits during interface elaboration (#3655) #40

Sign in to view logs

[ fix #3654 ] Name all implicits during interface elaboration (#3655)

[ fix #3654 ] Name all implicits during interface elaboration (#3655) #40

Triggered via push October 28, 2025 14:26
@CodingCellistCodingCellist
pushed c7e2835
main
Status Success
Total duration 50m 15s
Artifacts 6

ci-idris2-and-libs.yml

on: push
initialise
6s
initialise
quick-check
14m 6s
quick-check
macos-bootstrap-chez
11m 12s
macos-bootstrap-chez
ubuntu-self-host-previous-version
15m 24s
ubuntu-self-host-previous-version
ubuntu-bootstrap-chez
8m 33s
ubuntu-bootstrap-chez
ubuntu-bootstrap-racket
17m 0s
ubuntu-bootstrap-racket
windows-bootstrap-chez
19m 15s
windows-bootstrap-chez
nix-bootstrap-chez
23m 48s
nix-bootstrap-chez
macos-self-host-chez
23m 56s
macos-self-host-chez
ub-test-collie
36s
ub-test-collie
ub-test-frex
4m 11s
ub-test-frex
ub-test-elab-util
2m 5s
ub-test-elab-util
ub-pack-test-pack
1m 30s
ub-pack-test-pack
ub-pack-test-lsp
4m 38s
ub-pack-test-lsp
ub-test-katla-and-html
7m 27s
ub-test-katla-and-html
ubuntu-self-host-chez
16m 22s
ubuntu-self-host-chez
ubuntu-build-api
5m 24s
ubuntu-build-api
ubuntu-self-host-racket
0s
ubuntu-self-host-racket
windows-self-host-racket
12m 6s
windows-self-host-racket
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
idris2-nightly-chez Expired
38.1 MB
sha256:3b2fcd5f86fb0a4df3861598faf3aa9a4039f6585bf6d11cf0120db3770ba5d9
macos-installed-bootstrapped-idris2-chez Expired
28.4 MB
sha256:873474c62b5acc01f48144f618ecaa0f2bf28aef37ae4a92c54e1357595164aa
ubuntu-installed-bootstrapped-idris2-chez Expired
25.4 MB
sha256:6206181924e74db1a2e77ae891894ef978b8bd9defe3bd46d10e9a08a362b55a
ubuntu-installed-bootstrapped-idris2-racket Expired
56.7 MB
sha256:8be83224d8d525b7a34199e7e98d6443c3168c91338cfdf99427ab846438f44b
ubuntu-installed-idris2-0.7.0-chez Expired
38.2 MB
sha256:d9390f73cde22e9eb7ab854d48a4c2d189b397fe51fd7d0ed796b0aa30cb6a89
windows-installed-bootstrapped-idris2-chez Expired
25.6 MB
sha256:0e8759979db6955a59bf46182ed2ff3897360b70b527d0d1e6f405088a2bdf3d