Check world (test F* + all subprojects) #150
mtzguidocheck-world.yml
on: schedule
build
/
build
19m 37s
build (nix)
/
fstar-nix
42s
friends-nix
/
comparse
46s
friends-nix
/
dy-star
37s
friends-nix
/
mls-star
46s
friends
/
test-krml
0s
friends
/
test-steel
0s
friends
/
test-hacl
0s
friends
/
test-everparse
0s
friends
/
test-merkle-tree
0s
friends
/
test-mitls-fstar
0s
Annotations
3 errors and 4 warnings
|
friends / build-krml
Process completed with exit code 2.
|
|
friends / build-steel
Process completed with exit code 2.
|
|
friends / build-pulse
Process completed with exit code 2.
|
|
build (nix) / fstar-nix:
./.github/workflows/nix.yml#L17
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
build (nix) / fstar-nix:
./.github/workflows/check-nix-friends.yml#L47
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
build (nix) / fstar-nix:
./.github/workflows/check-nix-friends.yml#L32
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
|
build (nix) / fstar-nix:
./.github/workflows/check-nix-friends.yml#L17
Magic Nix Cache has been deprecated due to a change in the underlying GitHub APIs and will stop working on 1 February 2025.
To continue caching Nix builds in GitHub Actions, use FlakeHub Cache instead.
Replace...
- uses: DeterminateSystems/magic-nix-cache-action@main
...with...
- uses: DeterminateSystems/flakehub-cache-action@main
For more details: https://dtr.mn/magic-nix-cache-eol
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
fstar-repo
Expired
|
311 MB |
|
|
fstar-src.tar.gz
Expired
|
4.99 MB |
|
|
fstar.tar.gz
Expired
|
132 MB |
|