F* CI

Staged build, new CI, new packaging #12

Sign in to view logs

Triggered via pull request December 31, 2024 02:39

mtzguido

synchronize #3637

mtzguido:dev

Status Failure

Total duration 37m 7s

Artifacts 5

ci.yml

on: pull_request

tests / check-stage3

tests / test-local

tests / perf-canaries

Matrix: tests / binary-smoke

Matrix: tests / ocaml-smoke

Annotations

6 errors, 3 warnings, and 7 notices

tests / ocaml-smoke (fstar-ci-src.tar.gz, ubuntu-20.04)

Process completed with exit code 2.

tests / ocaml-smoke (fstar-ci-src.tar.gz, ubuntu-latest)

The job was canceled because "fstar-ci-src_tar_gz_ubunt" failed.

tests / ocaml-smoke (fstar-ci-src.tar.gz, ubuntu-latest)

The operation was canceled.

tests / ocaml-smoke (fstar-ci-src.tar.gz, ubuntu-22.04)

The job was canceled because "fstar-ci-src_tar_gz_ubunt" failed.

tests / ocaml-smoke (fstar-ci-src.tar.gz, ubuntu-22.04)

The operation was canceled.

tests / test-local

Process completed with exit code 2.

build / build

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.18

tests / perf-canaries: DEFS_800#L1

time = 0.21

tests / perf-canaries: DEFS_1600#L1

time = 0.31

tests / perf-canaries: DEFS_3200#L1

time = 0.47

tests / perf-canaries: DEFS_6400#L1

time = 0.82

Artifacts

Produced during runtime

Name	Size
fstar-ci-src.tar.gz Expired	5.99 MB
fstar-ci-stage1-src.tar.gz Expired	5.99 MB
fstar-ci-stage1.tar.gz Expired	91.3 MB
fstar-ci.tar.gz Expired	91.8 MB
fstar-repo Expired	543 MB