Check world (build F* and all projects)

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-fstar	9m 11s
test-fstar-boot	9m 11s
test-pulse-boot	10m 50s
build-pulse	6m 53s
test-fstar	13m 59s
build-krml	2m 11s
build-steel	12m 50s
test-krml	4m 5s
build-everparse	24m 39s
build-hacl	1h 58m 17s
test-pulse	7m 36s
test-steel	12m 7s
test-everparse	45m 46s
build-merkle-tree	10m 19s
test-hacl	7m 23s
build-mitls-fstar	11m 8s
test-merkle-tree	1m 16s
test-mitls-fstar	1m 17s
	5h 8m 58s