Check world (test F* + all subprojects)

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build / build	20m 31s
build (nix) / fstar-nix	45s
friends-nix / dy-star	1m 6s
friends-nix / comparse	1m 33s
friends-nix / mls-star	1m 36s
friends / build-krml	2m 6s
friends / build-steel	13m 55s
friends / build-pulse	18m 5s
friends / build-hacl	1h 58m 46s
friends / build-everparse	15m 36s
friends / test-krml	4m 33s
friends / test-steel	8m 57s
friends / test-everparse	50m 57s
friends / test-pulse	10m 13s
friends / build-cbor	20m 7s
friends / build-mitls-fstar	11m 54s
friends / build-merkle-tree	10m 54s
friends / test-hacl	7m 15s
friends / test-merkle-tree	0s
friends / test-mitls-fstar	2m 3s
	5h 20m 52s