Agda

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

Sign in to view logs

Triggered via pull request June 24, 2026 15:27

opened #277

chore/licence-normalisation-2026-06-24

Status Success

Total duration 9h 54m 7s

Artifacts –

agda.yml

on: pull_request