Check world (test F* + all subprojects) #65
mtzguidocheck-world.yml
on: schedule
build
/
build
20m 29s
build (nix)
/
fstar-nix
43s
friends-nix
/
comparse
35s
friends-nix
/
dy-star
40s
friends-nix
/
mls-star
58s
friends
/
test-krml
4m 39s
friends
/
test-steel
8m 35s
friends
/
test-hacl
7m 10s
friends
/
test-everparse
50m 23s
friends
/
test-merkle-tree
1m 25s
friends
/
test-mitls-fstar
1m 56s
Annotations
1 error and 20 warnings
|
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 / comparse
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
|
|
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
|
|
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 / 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-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 / 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 / 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
|
|
friends / build-mitls-fstar
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
friends / test-mitls-fstar
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 | |
|---|---|---|
|
everparse
Expired
|
89.9 MB |
|
|
fstar-repo
Expired
|
311 MB |
|
|
fstar-src.tar.gz
|
4.98 MB |
|
|
fstar.tar.gz
|
132 MB |
|
|
hacl-star
Expired
|
356 MB |
|
|
karamel
Expired
|
11.6 MB |
|
|
merkle-tree
Expired
|
5.37 MB |
|
|
mitls-fstar
Expired
|
10.4 MB |
|
|
pulse
Expired
|
216 MB |
|
|
steel
Expired
|
29.1 MB |
|