Check world (build F* and all projects)

Check world (test F* + all subprojects) #13

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test-fstar-boot	9m 12s
build-fstar	9m 8s
mls-star	38m 51s
build-krml	2m 17s
build-pulse	7m 18s
build-steel	12m 44s
test-fstar	13m 46s
test-pulse-boot	10m 49s
test-krml	4m 22s
build-everparse	24m 35s
build-hacl	1h 59m 43s
test-pulse	8m 23s
test-steel	12m 5s
test-everparse	47m 51s
test-hacl	6m 43s
build-mitls-fstar	11m 24s
build-merkle-tree	10m 21s
test-merkle-tree	1m 34s
test-mitls-fstar	1m 10s
	5h 52m 16s