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

Manually triggered October 10, 2024 15:52
@mtzguidomtzguido
⁠ af3cd9c
tidy_fstar_all
Status Failure
Total duration 1h 24m 40s
Artifacts 6

check-world.yml

on: workflow_dispatch
build-fstar
8m 30s
build-fstar
fstar-nix
17m 13s
fstar-nix
test-fstar-boot
9m 20s
test-fstar-boot
build-krml
2m 40s
build-krml
build-pulse
8m 40s
build-pulse
build-steel
13m 39s
build-steel
test-fstar
14m 17s
test-fstar
comparse
40m 52s
comparse
dy-star
10m 25s
dy-star
mls-star
31m 4s
mls-star
test-pulse-boot
10m 47s
test-pulse-boot
build-hacl
2m 59s
build-hacl
build-everparse
24m 50s
build-everparse
test-krml
4m 22s
test-krml
test-pulse
8m 29s
test-pulse
test-steel
12m 47s
test-steel
build-merkle-tree
0s
build-merkle-tree
test-hacl
0s
test-hacl
build-mitls-fstar
0s
build-mitls-fstar
test-everparse
48m 3s
test-everparse
test-merkle-tree
0s
test-merkle-tree
test-mitls-fstar
0s
test-mitls-fstar
Fit to window
Zoom out
Zoom in

Annotations

1 error
build-hacl
Process completed with exit code 2.

Artifacts

Produced during runtime
Name Size
FStar Expired
135 MB
FStar-boot Expired
179 MB
everparse Expired
78.4 MB
karamel Expired
11.5 MB
pulse Expired
123 MB
steel Expired
29 MB