Check world (build F* and all projects)

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-fstar	8m 51s
build-fstar	8m 51s
build-fstar	8m 51s
test-fstar-boot	9m 28s
test-fstar-boot	9m 28s
test-fstar-boot	9m 28s
build-krml	1m 41s
build-krml	1m 41s
build-krml	1m 41s
build-pulse	7m 8s
build-pulse	7m 8s
build-pulse	7m 8s
test-fstar	14m 28s
test-fstar	14m 28s
test-fstar	14m 28s
build-steel	14m 1s
build-steel	14m 1s
build-steel	14m 1s
test-pulse-boot	10m 35s
test-pulse-boot	10m 35s
test-pulse-boot	10m 35s
build-everparse	23m 17s
build-everparse	23m 17s
build-everparse	23m 17s
test-krml	4m 21s
test-krml	4m 21s
test-krml	4m 21s
build-hacl	1m 32s
build-hacl	12s
build-hacl	27m 55s
build-merkle-tree	0s
build-merkle-tree	0s
build-merkle-tree	10m 25s
test-hacl	0s
test-hacl	0s
test-hacl	8m 7s
test-merkle-tree	0s
test-merkle-tree	0s
test-merkle-tree	1m 40s
test-pulse	7m 47s
test-pulse	7m 47s
test-pulse	7m 47s
test-steel	12m 26s
test-steel	12m 26s
test-steel	12m 26s
test-everparse	46m 32s
test-everparse	46m 32s
test-everparse	46m 32s
build-mitls-fstar	0s
build-mitls-fstar	0s
build-mitls-fstar	11m 30s
test-mitls-fstar	0s
test-mitls-fstar	0s
test-mitls-fstar	1m 19s
	9h 4m 25s