Staged build, new CI, new packaging #7
mtzguidoci.yml
on: pull_request
build
/
build
21m 34s
tests
/
check-stage3
6m 20s
tests
/
test-local
32m 56s
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.14
|
|
tests / perf-canaries:
DEFS_200#L1
time = 0.15
|
|
tests / perf-canaries:
DEFS_400#L1
time = 0.17
|
|
tests / perf-canaries:
DEFS_800#L1
time = 0.21
|
|
tests / perf-canaries:
DEFS_1600#L1
time = 0.30
|
|
tests / perf-canaries:
DEFS_3200#L1
time = 0.46
|
|
tests / perf-canaries:
DEFS_6400#L1
time = 0.82
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
fstar-ci-src.tar.gz
|
5.99 MB |
|
|
fstar-ci-stage1-src.tar.gz
|
5.99 MB |
|
|
fstar-ci-stage1.tar.gz
|
91.3 MB |
|
|
fstar-ci.tar.gz
|
91.8 MB |
|
|
fstar-repo
Expired
|
543 MB |
|