Check world (test F* + all subprojects)

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build / build	22m 36s
build (nix) / fstar-nix	47m 20s
friends / build-steel	14m 45s
friends / build-pulse	19m 28s
friends / build-krml	2m 1s
friends / build-hacl	3h 12m 43s
friends / test-krml	4m 6s
friends / build-everparse	14m 14s
friends / test-steel	9m 1s
friends / test-everparse	52m 2s
friends / build-cbor	25m 18s
friends / test-pulse	11m 59s
friends-nix / mls-star	1h 9m 48s
friends-nix / dy-star	59m 42s
friends-nix / comparse	1h 24m 2s
friends / build-merkle-tree	19m 42s
friends / build-mitls-fstar	14m 25s
friends / test-hacl	6m 34s
friends / test-mitls-fstar	2m 6s
friends / test-merkle-tree	1m 26s
	11h 13m 18s