Repository navigation
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) #59
Triggered via pull request
June 24, 2026 17:16
hyperpolymath
Status
Success
Total duration
18h 30m 13s
Artifacts
–
idris-verification.yml
on: pull_request
verify-idris2 (Idris2 build oracle)
20s