Check world (build F* and all projects)

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-fstar	9m 29s
test-fstar-boot	9m 10s
test-pulse-boot	13m 20s
test-fstar	14m 58s
build-krml	1m 51s
build-steel	12m 30s
build-pulse	16m 33s
build-hacl	19m 12s
test-krml	3m 11s
build-everparse	22m 9s
test-steel	11m 7s
test-pulse	17m 52s
test-hacl	0s
build-merkle-tree	0s
test-merkle-tree	0s
test-everparse	34m 13s
build-mitls-fstar	0s
test-mitls-fstar	0s
	3h 5m 35s