Skip to content
Agda

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

Sign in to view logs

ci: harden workflows per Hypatia security-scan findings

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cold-check
11m 38s
check
2m 5s
13m 43s