Skip to content
Lean Verification Build

chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) #58

Sign in to view logs

chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair)

chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) #58

Triggered via pull request June 24, 2026 17:16
@hyperpolymathhyperpolymath
opened #148
chore/licence-normalisation-2026-06-24
Status Failure
Total duration 18h 30m 24s
Artifacts –

lean-verification.yml

on: pull_request
Build and Test Lean Extraction Pipeline
31s
Build and Test Lean Extraction Pipeline
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build and Test Lean Extraction Pipeline
Process completed with exit code 1.