Staged build, new CI, new packaging #24
mtzguidoci.yml
on: pull_request
build
/
build
20m 4s
nix
/
fstar-nix
17m 52s
tests
/
check-stage3
6m 19s
tests
/
test-local
15m 13s
tests
/
perf-canaries
17s
Matrix: tests / binary-smoke
Matrix: tests / ocaml-smoke
Annotations
2 errors and 5 warnings
|
nix / fstar-nix
Process completed with exit code 1.
|
|
tests / perf-canaries
Process completed with exit code 127.
|
|
nix / fstar-nix
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
|
|
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
tests / check-stage3
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
tests / test-local
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
Expired
|
403 MB |
|
|
fstar-src.tar.gz
Expired
|
5.93 MB |
|
|
fstar.tar.gz
Expired
|
92.6 MB |
|