Check world (test F* + all subprojects)

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build / build	21m 16s
build (nix) / fstar-nix	18m 46s
friends-nix / dy-star	11m 27s
friends-nix / comparse	38m 33s
friends-nix / mls-star	21m 55s
friends / build-pulse	18m 23s
friends / build-krml	1m 57s
friends / build-steel	14m 33s
friends / build-everparse	15m 7s
friends / test-krml	4m 22s
friends / build-hacl	3h 10m 24s
friends / test-steel	9m 5s
friends / test-everparse	51m 6s
friends / build-cbor	3m 19s
friends / test-pulse	9m 34s
friends / test-hacl	7m 59s
friends / build-mitls-fstar	1m 47s
friends / build-merkle-tree	11m 9s
friends / test-mitls-fstar	1m 48s
friends / test-merkle-tree	1m 45s
	7h 34m 15s