Check world (build F* and all projects)

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
fstar-nix	7m 55s
build-fstar	8m 12s
test-fstar-boot	9m 29s
mls-star	23m 1s
dy-star	11m 0s
comparse	37m 17s
build-krml	1m 47s
build-steel	13m 58s
test-fstar	15m 55s
build-pulse	17m 56s
build-hacl	1h 46m 31s
test-krml	4m 11s
build-everparse	14m 28s
test-steel	8m 41s
test-everparse	51m 0s
test-pulse	10m 56s
build-cbor	27m 28s
build-merkle-tree	10m 59s
build-mitls-fstar	11m 14s
test-hacl	7m 24s
test-merkle-tree	1m 39s
test-mitls-fstar	1m 20s
	6h 42m 21s