Check world (build F* and all projects)

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-fstar	8m 43s
test-fstar-boot	9m 7s
test-fstar	13m 42s
build-pulse	7m 14s
build-krml	2m 2s
build-steel	12m 26s
test-pulse-boot	10m 35s
build-everparse	24m 31s
test-krml	4m 3s
build-hacl	2h 1m 37s
test-pulse	8m 24s
test-steel	12m 5s
test-everparse	46m 47s
build-merkle-tree	10m 13s
test-hacl	7m 7s
build-mitls-fstar	10m 31s
test-merkle-tree	1m 41s
test-mitls-fstar	1m 10s
	5h 11m 58s