Skip to content
Agda

chore(ci): replace scorecard.yml with reusable wrapper #515

Sign in to view logs

chore(ci): replace scorecard.yml with reusable wrapper

chore(ci): replace scorecard.yml with reusable wrapper #515

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cold-check
10m 38s
check
1m 56s
12m 34s