Check world (build F* and all projects)

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test-fstar-boot	9m 2s
fstar-nix	8m 11s
build-fstar	7m 57s
test-fstar	14m 8s
build-krml	2m 3s
build-steel	13m 21s
build-pulse	7m 23s
mls-star	30m 24s
dy-star	10m 44s
comparse	38m 53s
test-pulse-boot	10m 6s
build-everparse	24m 38s
test-krml	4m 0s
build-hacl	1h 45m 4s
test-pulse	7m 46s
test-steel	12m 14s
test-everparse	49m 54s
build-merkle-tree	10m 45s
build-mitls-fstar	10m 31s
test-hacl	6m 52s
test-mitls-fstar	1m 14s
test-merkle-tree	1m 21s
	6h 26m 31s