Check world (build F* and all projects)

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-fstar	7m 43s
test-fstar-boot	8m 50s
fstar-nix	7m 35s
mls-star	21m 9s
comparse	38m 37s
dy-star	10m 33s
build-krml	2m 20s
build-steel	13m 33s
build-pulse	7m 19s
test-fstar	14m 35s
test-pulse-boot	10m 26s
build-everparse	13m 46s
build-hacl	1h 43m 25s
test-krml	4m 5s
test-pulse	8m 3s
test-steel	12m 23s
test-everparse	51m 49s
test-hacl	6m 41s
build-merkle-tree	10m 14s
build-mitls-fstar	10m 48s
test-merkle-tree	1m 34s
test-mitls-fstar	1m 52s
	6h 7m 20s