Skip to content
Idris2 and External Libs

Support for non-glibc versions of linux (musl, android) #770

Sign in to view logs

Support for non-glibc versions of linux (musl, android)

Support for non-glibc versions of linux (musl, android) #770

Run time

Learn about OS pricing on GitHub Actions
Job Run time
initialise
5s
quick-check
5m 51s
macos-bootstrap-chez
7m 1s
ubuntu-bootstrap-chez
7m 20s
nix-bootstrap-chez
30m 23s
ubuntu-bootstrap-racket
13m 2s
ubuntu-self-host-previous-version
11m 21s
windows-bootstrap-chez
22m 22s
macos-self-host-chez
13m 24s
ubuntu-self-host-chez
10m 52s
ubuntu-build-api
4m 7s
ub-test-collie
17s
ub-test-frex
1m 35s
ub-pack-test-lsp
13m 55s
ub-pack-test-pack
11m 48s
ub-test-elab-util
37s
ub-test-katla-and-html
5m 58s
ubuntu-self-host-racket
0s
windows-self-host-racket
10m 36s
2h 50m 34s