Check world (test F* + all subprojects)

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build / build	19m 38s
build (nix) / fstar-nix	40s
friends-nix / comparse	35m 17s
friends-nix / dy-star	11m 15s
friends-nix / mls-star	22m 6s
friends / build-krml	1m 53s
friends / build-steel	14m 42s
friends / build-pulse	18m 9s
friends / build-hacl	1h 59m 25s
friends / test-krml	4m 29s
friends / build-everparse	14m 43s
friends / test-steel	8m 40s
friends / test-everparse	49m 59s
friends / test-pulse	9m 15s
friends / build-cbor	2m 22s
friends / build-merkle-tree	10m 29s
friends / build-mitls-fstar	1m 48s
friends / test-hacl	7m 29s
friends / test-mitls-fstar	2m 4s
friends / test-merkle-tree	1m 29s
	5h 55m 52s