Check world (build F* and all projects)

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
fstar-nix	7m 42s
test-fstar-boot	8m 58s
build-fstar	8m 4s
dy-star	10m 21s
mls-star	30m 26s
comparse	35m 47s
build-pulse	7m 5s
build-steel	13m 12s
build-krml	2m 16s
test-fstar	13m 53s
test-pulse-boot	10m 5s
test-krml	4m 7s
build-everparse	23m 33s
build-hacl	1h 50m 43s
test-pulse	8m 7s
test-steel	12m 9s
test-everparse	50m 17s
test-hacl	6m 50s
build-mitls-fstar	10m 40s
build-merkle-tree	10m 44s
test-mitls-fstar	1m 19s
test-merkle-tree	1m 10s
	6h 27m 28s