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

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

Sign in to view logs

Check world (test F* + all subprojects)

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

Manually triggered September 3, 2024 20:35
@nikswamynikswamy
⁠ f924ec4
nik_context_pruning
Status Failure
Total duration 1h 16m 38s
Artifacts 5

check-world.yml

on: workflow_dispatch
build-fstar
8m 44s
build-fstar
test-fstar-boot
8m 35s
test-fstar-boot
build-krml
1m 46s
build-krml
test-fstar
19m 46s
test-fstar
build-everparse
22m 13s
build-everparse
build-hacl
24m 54s
build-hacl
build-pulse
17m 28s
build-pulse
build-steel
14m 6s
build-steel
test-krml
3m 59s
test-krml
test-everparse
43m 23s
test-everparse
build-merkle-tree
0s
build-merkle-tree
build-mitls-fstar
0s
build-mitls-fstar
test-hacl
0s
test-hacl
test-pulse
20m 1s
test-pulse
test-steel
12m 4s
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
213 MB
everparse Expired
78.2 MB
karamel Expired
12.6 MB
pulse Expired
120 MB
steel Expired
29.9 MB