Skip to content
Proof Corpus

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

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) #52

Triggered via pull request June 24, 2026 08:27
@hyperpolymathhyperpolymath
opened #49
chore/licence-normalisation-2026-06-24
Status Success
Total duration 6m 24s
Artifacts –

proof-corpus.yml

on: pull_request
idris2 0.8.0 --build git-reticulator-proofs
6m 21s
idris2 0.8.0 --build git-reticulator-proofs
Fit to window
Zoom out
Zoom in