Check world (build F* and all projects)

Check world (build F* and all projects) #49

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
fstar-nix	7m 50s
test-fstar-boot	9m 7s
build-fstar	8m 9s
dy-star	10m 58s
mls-star	25m 42s
comparse	38m 7s
test-fstar	14m 24s
build-pulse	7m 14s
build-steel	13m 20s
build-krml	2m 20s
test-pulse-boot	10m 6s
build-hacl	2h 13m 16s
build-everparse	14m 27s
test-krml	5m 33s
test-pulse	11m 34s
test-steel	13m 47s
test-everparse	54m 39s
test-hacl	11m 37s
build-merkle-tree	13m 51s
build-mitls-fstar	11m 4s
test-mitls-fstar	1m 47s
test-merkle-tree	1m 25s
	7h 0m 17s