chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) #41
Triggered via pull request
June 24, 2026 17:18
hyperpolymath
Status
Success
Total duration
18h 34m 50s
Artifacts
–
coq-build.yml
on: pull_request
Compile Coq proofs + assumptions guard
27s