Check world (test F* + all subprojects)

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (nix) / fstar-nix	20m 16s
build / build	21m 26s
friends-nix / mls-star	3m 34s
friends-nix / comparse	37m 29s
friends-nix / dy-star	3m 18s
friends / build-krml	2m 2s
friends / build-steel	14m 34s
friends / build-pulse	18m 30s
friends / build-hacl	2h 0m 24s
friends / test-krml	4m 28s
friends / build-everparse	14m 15s
friends / test-steel	8m 48s
friends / test-everparse	50m 51s
friends / test-pulse	9m 21s
friends / build-cbor	2m 49s
friends / test-hacl	7m 15s
friends / build-mitls-fstar	1m 27s
friends / build-merkle-tree	11m 5s
friends / test-mitls-fstar	1m 24s
friends / test-merkle-tree	0s
	5h 53m 16s