Check world (build F* and all projects)

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-fstar	7m 57s
fstar-nix	1m 29s
test-fstar-boot	9m 3s
mls-star	0s
dy-star	0s
comparse	0s
build-steel	12m 50s
build-pulse	7m 4s
build-krml	2m 11s
test-fstar	14m 10s
test-pulse-boot	10m 29s
build-hacl	1h 45m 49s
test-krml	4m 7s
build-everparse	25m 52s
test-pulse	8m 8s
test-steel	12m 28s
test-everparse	49m 24s
build-mitls-fstar	11m 3s
test-hacl	6m 46s
build-merkle-tree	10m 8s
test-merkle-tree	1m 16s
test-mitls-fstar	1m 44s
	5h 1m 58s