Skip to content
Nightly (heavy gates)

Nightly (heavy gates) #68

Sign in to view logs

Nightly (heavy gates)

Nightly (heavy gates) #68

Triggered via schedule August 17, 2026 05:02
@Nicola-CeorneaNicola-Ceornea
⁠ 0fdca78
master
Status Failure
Total duration 5h 0m 21s
Artifacts –

nightly.yml

on: schedule
Kani (bounded model-checking)
5h 0m
Kani (bounded model-checking)
Kani mutation (anti-vacuity — break a decoder, expect a harness to redden)
3m 19s
Kani mutation (anti-vacuity — break a decoder, expect a harness to redden)
Reproducible-build byte-diff
1m 43s
Reproducible-build byte-diff
cargo-checkct (binsec relational CT proof)
0s
cargo-checkct (binsec relational CT proof)
Firmware target compile-check (stm32u585, both worlds)
1m 26s
Firmware target compile-check (stm32u585, both worlds)
UI golden (render-only)
1m 14s
UI golden (render-only)
Proof-mutation (anti-vacuity V4 — dead axiom/lemma)
1m 1s
Proof-mutation (anti-vacuity V4 — dead axiom/lemma)
Protocol models (ProVerif + Tamarin symbolic gate)
4m 47s
Protocol models (ProVerif + Tamarin symbolic gate)
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 7 warnings
Kani mutation (anti-vacuity — break a decoder, expect a harness to redden)
Process completed with exit code 2.
Kani (bounded model-checking)
The job has exceeded the maximum execution time of 5h0m0s
Kani (bounded model-checking)
The operation was canceled.
Proof-mutation (anti-vacuity V4 — dead axiom/lemma)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@0057852bfaa89a56745cba8c7296529d2fc39830, actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
UI golden (render-only)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Firmware target compile-check (stm32u585, both worlds)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Reproducible-build byte-diff
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Kani mutation (anti-vacuity — break a decoder, expect a harness to redden)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Protocol models (ProVerif + Tamarin symbolic gate)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Kani (bounded model-checking)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/