Skip to content
Idris2 and External Libs

[ admin ] Clear the release checklist #38

Sign in to view logs

[ admin ] Clear the release checklist

[ admin ] Clear the release checklist #38

Run time

Learn about OS pricing on GitHub Actions
Job Run time
initialise
5s
quick-check
13m 15s
nix-bootstrap-chez
20m 58s
ubuntu-bootstrap-chez
7m 49s
windows-bootstrap-chez
17m 41s
ubuntu-self-host-previous-version
11m 54s
macos-bootstrap-chez
11m 51s
ubuntu-bootstrap-racket
12m 59s
ubuntu-self-host-chez
12m 50s
ubuntu-build-api
4m 42s
macos-self-host-chez
18m 26s
ub-test-elab-util
40s
ub-test-collie
30s
ub-pack-test-pack
14m 7s
ub-test-frex
4m 1s
ub-test-katla-and-html
7m 26s
ub-pack-test-lsp
17m 10s
ubuntu-self-host-racket
-1s
windows-self-host-racket
11m 14s
3h 7m 37s