Skip to content
Agda

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

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) … #852

Triggered via push June 24, 2026 15:44
@hyperpolymathhyperpolymath
pushed 2a7e3b1
main
Status Cancelled
Total duration 38m 14s
Artifacts –

agda.yml

on: push
check
38m 11s
check
cold-check
38m 11s
cold-check
Fit to window
Zoom out
Zoom in

Annotations

3 errors
cold-check
Canceling since a higher priority waiting request for Agda-refs/heads/main exists
check
Canceling since a higher priority waiting request for Agda-refs/heads/main exists
Agda
Canceling since a higher priority waiting request for Agda-refs/heads/main exists