Skip to content
ECHIDNA Validation

ECHIDNA Validation #319

Sign in to view logs

ECHIDNA Validation

ECHIDNA Validation #319

Triggered via schedule September 21, 2026 06:31
@hyperpolymathhyperpolymath
⁠ 033ab5a
main
Status Failure
Total duration 4m 22s
Artifacts –

echidna-validation.yml

on: schedule
ECHIDNA Proof Verification
4m 19s
ECHIDNA Proof Verification
Lean 4 ↔ Rust Correspondence
1m 2s
Lean 4 ↔ Rust Correspondence
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 notices
ECHIDNA Proof Verification
Process completed with exit code 3.
Lean 4 ↔ Rust Correspondence
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
ECHIDNA Proof Verification
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"