Check world (build F* and all projects)

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test-fstar-boot	9m 25s
build-fstar	8m 41s
build-krml	2m 17s
test-fstar	13m 56s
build-steel	13m 0s
build-pulse	6m 59s
test-pulse-boot	10m 45s
build-hacl	2h 0m 23s
test-krml	4m 16s
build-everparse	24m 22s
test-pulse	8m 15s
test-steel	12m 25s
test-everparse	47m 1s
test-hacl	6m 55s
build-mitls-fstar	10m 53s
build-merkle-tree	10m 18s
test-merkle-tree	1m 31s
test-mitls-fstar	1m 10s
	5h 12m 32s