Skip to content
Check world (build F* and all projects)

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

Sign in to view logs

Check world (test F* + all subprojects)

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

Re-run triggered September 7, 2024 07:01
@mtzguidomtzguido
⁠ 6c8c813
master
Status Success
Total duration 41m 7s
Artifacts 9

check-world.yml

on: workflow_dispatch
build-fstar
8m 51s
build-fstar
test-fstar-boot
9m 28s
test-fstar-boot
build-krml
1m 41s
build-krml
build-pulse
7m 8s
build-pulse
build-steel
14m 1s
build-steel
test-fstar
14m 28s
test-fstar
test-pulse-boot
10m 35s
test-pulse-boot
build-hacl
27m 55s
build-hacl
build-everparse
23m 17s
build-everparse
test-krml
4m 21s
test-krml
test-pulse
7m 47s
test-pulse
test-steel
12m 26s
test-steel
build-merkle-tree
10m 25s
build-merkle-tree
test-hacl
8m 7s
test-hacl
build-mitls-fstar
11m 30s
build-mitls-fstar
test-everparse
46m 32s
test-everparse
test-merkle-tree
1m 40s
test-merkle-tree
test-mitls-fstar
1m 19s
test-mitls-fstar
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
hacl-star Expired
412 MB
merkle-tree Expired
5.71 MB
mitls-fstar Expired
38 MB