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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cold-check
11m 30s
check
1m 55s
13m 25s