Staged build, new CI, new packaging #16
mtzguidoci.yml
on: pull_request
build
/
build
20m 21s
tests
/
check-stage3
6m 13s
tests
/
test-local
15m 7s
tests
/
perf-canaries
13s
Matrix: tests / binary-smoke
Matrix: tests / ocaml-smoke
Annotations
4 warnings and 7 notices
|
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-ci-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
|
|
tests / perf-canaries:
DEFS_100#L1
time = 0.16
|
|
tests / perf-canaries:
DEFS_200#L1
time = 0.16
|
|
tests / perf-canaries:
DEFS_400#L1
time = 0.18
|
|
tests / perf-canaries:
DEFS_800#L1
time = 0.23
|
|
tests / perf-canaries:
DEFS_1600#L1
time = 0.32
|
|
tests / perf-canaries:
DEFS_3200#L1
time = 0.50
|
|
tests / perf-canaries:
DEFS_6400#L1
time = 0.85
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
fstar-ci-src.tar.gz
Expired
|
5.94 MB |
|
|
fstar-ci-stage1-src.tar.gz
Expired
|
5.94 MB |
|
|
fstar-ci-stage1.tar.gz
Expired
|
91.2 MB |
|
|
fstar-ci.tar.gz
Expired
|
91.7 MB |
|
|
fstar-repo
Expired
|
543 MB |
|