Check world (build F* and all projects)

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-fstar	8m 5s
fstar-nix	43s
test-fstar-boot	9m 1s
dy-star	0s
comparse	0s
mls-star	0s
build-krml	2m 7s
build-pulse	7m 20s
build-steel	13m 5s
test-fstar	14m 18s
test-pulse-boot	9m 59s
test-krml	4m 3s
build-everparse	24m 35s
build-hacl	1h 47m 11s
test-pulse	7m 54s
test-steel	12m 23s
test-everparse	50m 20s
test-hacl	6m 48s
build-merkle-tree	10m 48s
build-mitls-fstar	10m 58s
test-merkle-tree	1m 10s
test-mitls-fstar	1m 11s
	5h 1m 59s