Skip to content
Agda

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

Sign in to view logs

ci: harden workflows per Hypatia security-scan findings

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cold-check
4m 50s
check
4m 50s
9m 40s