Check world (build F* and all projects)

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-fstar	54s
fstar-nix	40s
test-fstar-boot	56s
dy-star	0s
comparse	0s
mls-star	0s
test-fstar	0s
build-steel	0s
build-pulse	0s
build-krml	0s
test-krml	0s
test-pulse	0s
build-hacl	0s
test-steel	0s
build-everparse	0s
build-merkle-tree	0s
test-hacl	0s
test-everparse	0s
build-mitls-fstar	0s
test-merkle-tree	0s
test-mitls-fstar	0s
test-pulse-boot	0s
	2m 30s