Skip to content
Agda

ci: harden workflows per Hypatia security-scan findings #638

Sign in to view logs

ci: harden workflows per Hypatia security-scan findings

ci: harden workflows per Hypatia security-scan findings #638

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cold-check
6m 20s
check
1m 46s
8m 6s