Check world (build F* and all projects)

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-fstar	9m 38s
test-fstar-boot	8m 55s
test-pulse-boot	13m 52s
build-steel	12m 33s
build-krml	1m 39s
test-fstar	14m 54s
build-pulse	16m 36s
build-hacl	21m 29s
test-krml	3m 33s
build-everparse	22m 27s
test-steel	11m 3s
test-pulse	17m 53s
test-hacl	8m 15s
build-merkle-tree	7m 51s
build-mitls-fstar	8m 22s
test-everparse	33m 40s
test-merkle-tree	1m 22s
test-mitls-fstar	1m 20s
	3h 35m 22s