Check world (build F* and all projects)

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-fstar	9m 24s
test-fstar-boot	9m 28s
build-steel	13m 1s
build-krml	2m 22s
test-fstar	14m 2s
build-pulse	7m 1s
test-pulse-boot	10m 44s
test-krml	4m 5s
build-hacl	1h 58m 44s
build-everparse	24m 36s
test-pulse	8m 12s
test-steel	12m 45s
test-everparse	49m 25s
build-mitls-fstar	0s
build-merkle-tree	0s
test-hacl	0s
test-mitls-fstar	0s
test-merkle-tree	0s
	4h 43m 49s