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

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

Sign in to view logs

Check world (test F* + all subprojects)

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (nix) / fstar-nix
18m 18s
build / build
19m 21s
friends-nix / dy-star
11m 32s
friends-nix / comparse
39m 4s
friends-nix / mls-star
22m 20s
friends / build-steel
14m 28s
friends / build-pulse
18m 26s
friends / build-krml
2m 3s
friends / build-everparse
14m 59s
friends / test-krml
4m 37s
friends / build-hacl
1h 49m 42s
friends / test-steel
8m 55s
friends / test-everparse
50m 31s
friends / test-pulse
10m 18s
friends / build-cbor
2m 21s
friends / build-merkle-tree
10m 58s
friends / test-hacl
7m 13s
friends / build-mitls-fstar
1m 30s
friends / test-mitls-fstar
1m 30s
friends / test-merkle-tree
1m 54s
6h 10m 0s