Skip to content
ECHIDNA Validation

fix(ci): add required permissions for reusable workflows (Bug B) #305

Sign in to view logs

fix(ci): add required permissions for reusable workflows (Bug B)

fix(ci): add required permissions for reusable workflows (Bug B) #305

Triggered via push August 13, 2026 18:22
@hyperpolymathhyperpolymath
pushed 1ed7572
fix/ci-426-batch2
Status Success
Total duration 45s
Artifacts –

echidna-validation.yml

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