Skip to content
F* CI

fix #107

Sign in to view logs

fix

fix #107

You are viewing an older attempt in the history of this workflow run. View latest attempt.
Triggered via push December 16, 2024 19:12
@mtzguidomtzguido
pushed a8941ab
dev
Status Failure
Total duration 2h 24m 46s
Artifacts –

ci.yml

on: push
build
22m 30s
build
check-stage3-diff
14m 29s
check-stage3-diff
friends  /  build-krml
2m 33s
friends / build-krml
friends  /  build-pulse
18m 40s
friends / build-pulse
friends  /  fstar-nix
33s
friends / fstar-nix
friends  /  build-steel
14m 52s
friends / build-steel
perf-canaries
19s
perf-canaries
Matrix: binary-smoke
Matrix: ocaml-smoke
Matrix: test-local
friends  /  build-hacl
1h 46m
friends / build-hacl
friends  /  build-everparse
14m 37s
friends / build-everparse
friends  /  test-krml
4m 3s
friends / test-krml
friends  /  test-pulse
10m 7s
friends / test-pulse
friends  /  build-cbor
2m 6s
friends / build-cbor
friends  /  comparse
0s
friends / comparse
friends  /  dy-star
0s
friends / dy-star
friends  /  mls-star
0s
friends / mls-star
friends  /  test-steel
8m 46s
friends / test-steel
friends  /  build-merkle-tree
10m 37s
friends / build-merkle-tree
friends  /  test-hacl
7m 33s
friends / test-hacl
friends  /  build-mitls-fstar
9m 45s
friends / build-mitls-fstar
friends  /  test-everparse
50m 5s
friends / test-everparse
friends  /  test-merkle-tree
1m 27s
friends / test-merkle-tree
friends  /  test-mitls-fstar
1m 49s
friends / test-mitls-fstar
Fit to window
Zoom out
Zoom in

Annotations

2 errors, 22 warnings, and 7 notices
friends / fstar-nix
Process completed with exit code 1.
friends / build-cbor
Process completed with exit code 2.
check-stage3-diff
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
friends / fstar-nix
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
friends / build-krml
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
friends / test-krml
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
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
ocaml-smoke (fstar-ci-stage1-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
test-local (fstar-ci.tar.gz)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
friends / build-steel
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test-local (fstar-ci-stage1.tar.gz)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
friends / build-everparse
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
friends / build-pulse
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
friends / build-cbor
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
friends / test-steel
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
friends / test-pulse
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
friends / test-everparse
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
friends / build-hacl
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
friends / test-hacl
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
friends / build-mitls-fstar
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
friends / build-merkle-tree
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
friends / test-mitls-fstar
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
friends / test-merkle-tree
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
perf-canaries: DEFS_100#L1
time = 0.14
perf-canaries: DEFS_200#L1
time = 0.15
perf-canaries: DEFS_400#L1
time = 0.17
perf-canaries: DEFS_800#L1
time = 0.22
perf-canaries: DEFS_1600#L1
time = 0.32
perf-canaries: DEFS_3200#L1
time = 0.48
perf-canaries: DEFS_6400#L1
time = 0.84