Check world (test F* + all subprojects)

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build / build	19m 29s
build (nix) / fstar-nix	42s
friends-nix / mls-star	22m 15s
friends-nix / dy-star	10m 44s
friends-nix / comparse	37m 25s
friends / build-steel	14m 35s
friends / build-pulse	18m 33s
friends / build-krml	2m 1s
friends / test-krml	4m 48s
friends / build-hacl	1h 46m 10s
friends / build-everparse	16m 34s
friends / test-steel	9m 1s
friends / test-pulse	10m 18s
friends / build-cbor	18m 50s
friends / test-everparse	50m 3s
friends / build-mitls-fstar	11m 29s
friends / test-hacl	7m 58s
friends / build-merkle-tree	10m 53s
friends / test-merkle-tree	1m 30s
friends / test-mitls-fstar	1m 31s
	6h 14m 49s