Skip to content
ECHIDNA Validation

fix(ci): update reusable workflow SHAs to @7fdc2705df74b4e352d2a1cde3… #303

Sign in to view logs

fix(ci): update reusable workflow SHAs to @7fdc2705df74b4e352d2a1cde3…

fix(ci): update reusable workflow SHAs to @7fdc2705df74b4e352d2a1cde3… #303

Triggered via push August 13, 2026 03:17
@hyperpolymathhyperpolymath
pushed f67ddf1
fix/ci-426-batch12
Status Success
Total duration 1m 4s
Artifacts –

echidna-validation.yml

on: push
ECHIDNA Proof Verification
0s
ECHIDNA Proof Verification
Lean 4 ↔ Rust Correspondence
36s
Lean 4 ↔ Rust Correspondence
Fit to window
Zoom out
Zoom in