Check world (build F* and all projects) #2
check-world.yml
on: workflow_dispatch
build-fstar
8m 42s
test-fstar-boot
9m 18s
test-fstar
14m 51s
test-pulse-boot
10m 44s
test-hacl
7m 1s
test-everparse
46m 26s
test-merkle-tree
1m 16s
test-mitls-fstar
1m 35s
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
FStar
Expired
|
136 MB |
|
FStar-boot
Expired
|
179 MB |
|
everparse
Expired
|
78.7 MB |
|
hacl-star
Expired
|
412 MB |
|
karamel
Expired
|
11.5 MB |
|
merkle-tree
Expired
|
5.68 MB |
|
mitls-fstar
Expired
|
38 MB |
|
pulse
Expired
|
122 MB |
|
steel
Expired
|
29.3 MB |
|