Skip to content
ECHIDNA Validation

chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) #250

Sign in to view logs

chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs)

chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) #250

Triggered via push June 24, 2026 17:16
@hyperpolymathhyperpolymath
pushed f872ff8
chore/licence-normalisation-2026-06-24
Status Success
Total duration 18h 27m 38s
Artifacts –

echidna-validation.yml

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