Skip to content
Agda

fix(ci): adopt canonical hypatia-scan.yml (#45) #298

Sign in to view logs

fix(ci): adopt canonical hypatia-scan.yml (#45)

fix(ci): adopt canonical hypatia-scan.yml (#45) #298

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
1m 14s
1m 14s