Check world (test F* + all subprojects) #63
mtzguidocheck-world.yml
on: schedule
build
/
build
19m 42s
build (nix)
/
fstar-nix
1m 18s
friends-nix
/
comparse
37m 46s
friends-nix
/
dy-star
11m 33s
friends-nix
/
mls-star
21m 6s
friends
/
test-krml
4m 37s
friends
/
test-steel
8m 39s
friends
/
test-hacl
7m 12s
friends
/
test-everparse
0s
friends
/
test-merkle-tree
1m 34s
friends
/
test-mitls-fstar
0s
Annotations
2 errors and 17 warnings
|
friends / build-everparse
Process completed with exit code 2.
|
|
friends / build-cbor
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 / build-krml
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-everparse
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 / build-pulse
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-cbor
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-pulse
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
|
|
friends / test-hacl
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
friends / build-merkle-tree
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
friends / test-merkle-tree
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 | |
|---|---|---|
|
fstar-repo
|
311 MB |
|
|
fstar-src.tar.gz
|
4.97 MB |
|
|
fstar.tar.gz
|
137 MB |
|
|
hacl-star
|
356 MB |
|
|
karamel
|
11.6 MB |
|
|
merkle-tree
|
5.37 MB |
|
|
pulse
|
216 MB |
|
|
steel
|
29.1 MB |
|