Skip to content
Check world (test F* + all subprojects)

Check world (test F* + all subprojects) #121

Sign in to view logs

Check world (test F* + all subprojects)

Check world (test F* + all subprojects) #121

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build / build
18m 47s
build (nix) / fstar-nix
45m 13s
friends / build-krml
2m 12s
friends / build-steel
9m 48s
friends / build-pulse
17m 27s
friends / build-everparse
13m 15s
friends / build-hacl
1h 40m 34s
friends / test-krml
3m 53s
friends / test-steel
6m 28s
friends / test-everparse
25m 3s
friends / build-cbor
23m 0s
friends / test-pulse
9m 2s
friends-nix / dy-star
47m 47s
friends-nix / comparse
1h 3m 54s
friends-nix / mls-star
58m 50s
friends / test-hacl
2m 41s
friends / build-mitls-fstar
7m 56s
friends / build-merkle-tree
7m 53s
friends / build-everquic-crypto
18m 14s
friends / test-merkle-tree
1m 52s
friends / test-mitls-fstar
1m 43s
friends / test-everquic-crypto
1m 36s
8h 7m 8s