Check world (build F* and all projects)

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test-fstar-boot	9m 13s
build-fstar	8m 4s
fstar-nix	17m 16s
test-fstar	14m 37s
build-steel	12m 59s
build-pulse	7m 46s
build-krml	2m 7s
test-pulse-boot	10m 1s
test-krml	4m 19s
build-everparse	13m 38s
build-hacl	1h 45m 33s
build-cbor	44m 10s
test-pulse	9m 19s
dy-star	10m 55s
comparse	36m 8s
mls-star	21m 26s
test-steel	12m 23s
test-everparse	49m 57s
build-mitls-fstar	10m 59s
test-hacl	7m 5s
build-merkle-tree	10m 45s
test-merkle-tree	1m 14s
test-mitls-fstar	1m 12s
	7h 1m 6s