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

Check world (build F* and all projects) #4

Sign in to view logs

Check world (build F* and all projects)

Check world (build F* and all projects) #4

Manually triggered September 4, 2024 16:57
@nikswamynikswamy
⁠ aea0743
nik_fix_retain_assumptions
Status Failure
Total duration 1h 8m 10s
Artifacts 5

check-world.yml

on: workflow_dispatch
build-fstar
9m 59s
build-fstar
test-fstar-boot
8m 20s
test-fstar-boot
build-krml
1m 45s
build-krml
test-fstar
15m 2s
test-fstar
build-everparse
21m 47s
build-everparse
build-hacl
18m 55s
build-hacl
build-pulse
16m 15s
build-pulse
build-steel
12m 8s
build-steel
test-krml
3m 33s
test-krml
test-everparse
34m 7s
test-everparse
build-merkle-tree
0s
build-merkle-tree
build-mitls-fstar
0s
build-mitls-fstar
test-hacl
0s
test-hacl
test-pulse
19m 53s
test-pulse
test-steel
10m 52s
test-steel
test-merkle-tree
0s
test-merkle-tree
test-mitls-fstar
0s
test-mitls-fstar
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build-hacl
Process completed with exit code 2.
test-steel
Process completed with exit code 2.

Artifacts

Produced during runtime
Name Size
FStar Expired
211 MB
everparse Expired
78.1 MB
karamel Expired
12.6 MB
pulse Expired
120 MB
steel Expired
29.5 MB