Skip to content
Agda

docs(licence): align prose SPDX headers to CC-BY-SA-4.0 (ShareAlike) #686

Sign in to view logs

docs(licence): align prose SPDX headers to CC-BY-SA-4.0 (ShareAlike)

docs(licence): align prose SPDX headers to CC-BY-SA-4.0 (ShareAlike) #686

Triggered via push June 13, 2026 17:51
@hyperpolymathhyperpolymath
pushed ac99259
main
Status Success
Total duration 11m 36s
Artifacts –

agda.yml

on: push
check
1m 55s
check
cold-check
11m 30s
cold-check
Fit to window
Zoom out
Zoom in