Skip to content
Agda

fix(ci): add SPDX-License-Identifier header to LICENSE (#284) #860

Sign in to view logs

fix(ci): add SPDX-License-Identifier header to LICENSE (#284)

fix(ci): add SPDX-License-Identifier header to LICENSE (#284) #860

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
2m 13s
cold-check
12m 16s
14m 29s