Check world (build F* and all projects) #35
nikswamycheck-world.yml
on: workflow_dispatch
build-fstar
8m 43s
test-fstar-boot
9m 7s
test-fstar
13m 42s
test-pulse-boot
10m 35s
test-hacl
7m 7s
test-everparse
46m 47s
test-merkle-tree
1m 41s
test-mitls-fstar
1m 10s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
FStar
Expired
|
135 MB |
|
|
FStar-boot
Expired
|
178 MB |
|
|
everparse
Expired
|
78.6 MB |
|
|
hacl-star
Expired
|
395 MB |
|
|
karamel
Expired
|
11.5 MB |
|
|
merkle-tree
Expired
|
5.67 MB |
|
|
mitls-fstar
Expired
|
37.9 MB |
|
|
pulse
Expired
|
122 MB |
|
|
steel
Expired
|
29 MB |
|