Check world (build F* and all projects)

Check world (build F* and all projects) #7

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-fstar	9m 30s
test-fstar-boot	8m 20s
build-krml	1m 48s
test-fstar	5m 23s
build-steel	3m 22s
test-krml	3m 21s
build-pulse	3m 23s
build-hacl	3m 25s
build-everparse	3m 23s
test-steel	1s
test-pulse	1s
test-everparse	1s
build-mitls-fstar	1s
build-merkle-tree	1s
test-hacl	1s
test-mitls-fstar	1s
test-merkle-tree	1s
	42m 3s