Check world (build F* and all projects)

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
fstar-nix	7m 50s
build-fstar	8m 0s
test-fstar-boot	9m 12s
mls-star	23m 13s
dy-star	10m 29s
comparse	36m 55s
build-pulse	1m 18s
test-fstar	14m 5s
build-krml	2m 5s
build-steel	12m 49s
test-pulse-boot	9m 58s
test-krml	4m 1s
build-everparse	23m 31s
test-pulse	0s
build-hacl	1h 47m 6s
test-steel	12m 3s
test-everparse	49m 31s
build-merkle-tree	11m 35s
test-hacl	7m 6s
build-mitls-fstar	11m 8s
test-mitls-fstar	1m 11s
test-merkle-tree	1m 12s
	6h 4m 18s