Check world (test F* + all subprojects) #60
gebnercheck-world.yml
on: workflow_dispatch
build
/
build
20m 31s
build (nix)
/
fstar-nix
45s
friends-nix
/
comparse
1m 33s
friends-nix
/
dy-star
1m 6s
friends-nix
/
mls-star
1m 36s
friends
/
test-krml
4m 33s
friends
/
test-steel
8m 57s
friends
/
test-hacl
7m 15s
friends
/
test-everparse
50m 57s
friends
/
test-merkle-tree
0s
friends
/
test-mitls-fstar
2m 3s
Annotations
5 errors and 19 warnings
|
friends-nix / dy-star
Process completed with exit code 1.
|
|
friends-nix / comparse
Process completed with exit code 1.
|
|
friends-nix / mls-star
Process completed with exit code 1.
|
|
friends / build-cbor
Process completed with exit code 2.
|
|
friends / build-merkle-tree
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
|
|
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 / 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 / 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-cbor
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 / 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 / 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
|
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 |
|
|
hacl-star
Expired
|
356 MB |
|
|
karamel
Expired
|
11.6 MB |
|
|
mitls-fstar
Expired
|
37.8 MB |
|
|
pulse
Expired
|
216 MB |
|
|
steel
Expired
|
28.9 MB |
|