Check world (build F* and all projects)

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test-fstar-boot	9m 14s
build-fstar	9m 10s
test-fstar	14m 58s
build-krml	2m 3s
build-pulse	6m 57s
build-steel	13m 29s
test-pulse-boot	10m 49s
test-krml	4m 23s
build-everparse	24m 34s
build-hacl	1h 51m 50s
test-pulse	7m 56s
test-steel	12m 31s
test-everparse	47m 4s
test-hacl	7m 14s
build-merkle-tree	10m 55s
build-mitls-fstar	11m 5s
test-merkle-tree	1m 40s
test-mitls-fstar	1m 13s
	5h 7m 5s