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

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

Sign in to view logs

Check world (test F* + all subprojects)

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

Re-run triggered September 8, 2024 21:41
@mtzguidomtzguido
⁠ f681c4e
guido_options
Status Success
Total duration 44m 32s
Artifacts 9

check-world.yml

on: workflow_dispatch
build-fstar
8m 38s
build-fstar
test-fstar-boot
9m 34s
test-fstar-boot
build-krml
1m 49s
build-krml
build-pulse
7m 16s
build-pulse
build-steel
13m 27s
build-steel
test-fstar
14m 56s
test-fstar
test-pulse-boot
10m 42s
test-pulse-boot
build-hacl
31m 43s
build-hacl
build-everparse
24m 4s
build-everparse
test-krml
4m 23s
test-krml
test-pulse
7m 42s
test-pulse
test-steel
12m 27s
test-steel
build-merkle-tree
10m 42s
build-merkle-tree
test-hacl
7m 9s
test-hacl
build-mitls-fstar
10m 45s
build-mitls-fstar
test-everparse
47m 5s
test-everparse
test-merkle-tree
1m 42s
test-merkle-tree
test-mitls-fstar
1m 23s
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