Skip to content
Agda

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

Sign in to view logs

ci: harden workflows per Hypatia security-scan findings

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cold-check
7m 53s
check
7m 53s
15m 46s