Skip to content
Agda

fix(ci): clear OSSF Scorecard startup_failure #867

Sign in to view logs

fix(ci): clear OSSF Scorecard startup_failure

fix(ci): clear OSSF Scorecard startup_failure #867

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cold-check
12m 15s
check
1m 57s
14m 12s