Check world (test F* + all subprojects)

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (nix) / fstar-nix	45m 22s
build / build	19m 9s
friends / build-steel	14m 22s
friends / build-pulse	13m 37s
friends / build-krml	1m 59s
friends / test-krml	4m 6s
friends / build-everparse	15m 52s
friends / build-hacl	2h 2m 44s
friends / test-pulse	0s
friends / build-cbor	0s
friends / test-steel	8m 41s
friends / test-everparse	50m 4s
friends-nix / comparse	1h 20m 10s
friends-nix / mls-star	1h 7m 52s
friends-nix / dy-star	55m 52s
friends / build-merkle-tree	8m 8s
friends / test-hacl	7m 24s
friends / build-mitls-fstar	1m 28s
friends / test-mitls-fstar	1m 51s
friends / test-merkle-tree	1m 25s
	8h 40m 6s