Check world (test F* + all subprojects) #59
mtzguidocheck-world.yml
on: workflow_dispatch
build
/
build
19m 23s
build (nix)
/
fstar-nix
44s
friends-nix
/
comparse
36m 1s
friends-nix
/
dy-star
11m 4s
friends-nix
/
mls-star
19m 27s
friends
/
test-krml
4m 42s
friends
/
test-steel
8m 55s
friends
/
test-hacl
0s
friends
/
test-everparse
52m 44s
friends
/
test-merkle-tree
0s
friends
/
test-mitls-fstar
0s
Annotations
3 errors and 13 warnings
|
friends-nix / mls-star
Process completed with exit code 1.
|
|
friends / build-pulse
Process completed with exit code 2.
|
|
friends / build-hacl
Process completed with exit code 2.
|
|
build (nix) / fstar-nix
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
friends-nix / dy-star
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build / build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
friends-nix / mls-star
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
friends / build-krml
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
friends / test-krml
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
friends / build-steel
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
friends-nix / comparse
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
friends / build-everparse
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
friends / build-pulse
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
friends / test-steel
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
friends / test-everparse
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
friends / build-hacl
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
everparse
Expired
|
89.9 MB |
|
|
fstar-repo
Expired
|
311 MB |
|
|
fstar-src.tar.gz
Expired
|
7.14 MB |
|
|
fstar.tar.gz
Expired
|
137 MB |
|
|
karamel
Expired
|
11.6 MB |
|
|
steel
Expired
|
28.9 MB |
|