Skip to content
Idris2 and External Libs

WithFC, a datastructure to keep track of locations (#3406) #976

Sign in to view logs

WithFC, a datastructure to keep track of locations (#3406)

WithFC, a datastructure to keep track of locations (#3406) #976

Run time

Learn about OS pricing on GitHub Actions
Job Run time
initialise
4s
quick-check
5m 52s
nix-bootstrap-chez
20m 24s
ubuntu-bootstrap-racket
12m 11s
ubuntu-bootstrap-chez
7m 23s
macos-bootstrap-chez
7m 10s
ubuntu-self-host-previous-version
10m 39s
windows-bootstrap-chez
22m 58s
macos-self-host-chez
16m 2s
ubuntu-build-api
3m 58s
ubuntu-self-host-chez
10m 36s
ub-test-elab-util
35s
ub-pack-test-pack
12m 14s
ub-pack-test-lsp
13m 36s
ub-test-collie
15s
ub-test-frex
3m 53s
ub-test-katla-and-html
5m 54s
ubuntu-self-host-racket
0s
windows-self-host-racket
11m 40s
2h 45m 24s