Check world (build F* and all projects)

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-fstar	8m 36s
test-fstar-boot	8m 40s
build-krml	2m 6s
test-fstar	13m 6s
build-steel	14m 29s
test-krml	4m 8s
build-everparse	23m 23s
build-hacl	24m 32s
build-pulse	17m 31s
test-steel	12m 51s
test-pulse	20m 27s
test-everparse	48m 20s
build-merkle-tree	10m 5s
build-mitls-fstar	10m 42s
test-hacl	7m 59s
test-merkle-tree	1m 19s
test-mitls-fstar	1m 22s
	3h 49m 36s