Skip to content
Agda

chore(spdx): normalize headers (code -> MPL-2.0, prose -> CC-BY-4.0) #588

Sign in to view logs

chore(spdx): normalize headers (code -> MPL-2.0, prose -> CC-BY-4.0)

chore(spdx): normalize headers (code -> MPL-2.0, prose -> CC-BY-4.0) #588

Run time

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