Check world (build F* and all projects)

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test-fstar-boot	9m 10s
fstar-nix	28m 5s
build-fstar	8m 7s
build-krml	2m 2s
build-steel	13m 42s
test-fstar	15m 11s
build-pulse	17m 43s
build-hacl	1h 45m 48s
test-krml	4m 14s
build-everparse	14m 14s
test-steel	8m 20s
test-everparse	50m 34s
build-cbor	24m 25s
test-pulse	11m 28s
mls-star	10m 44s
dy-star	5m 2s
comparse	38m 10s
build-mitls-fstar	11m 5s
build-merkle-tree	11m 25s
test-hacl	6m 56s
test-mitls-fstar	1m 49s
test-merkle-tree	1m 13s
	6h 39m 27s