Skip to content
Agda

fix(ci): adopt canonical hypatia-scan.yml (env.HOME/scanner-layout + … #296

Sign in to view logs

fix(ci): adopt canonical hypatia-scan.yml (env.HOME/scanner-layout + …

fix(ci): adopt canonical hypatia-scan.yml (env.HOME/scanner-layout + … #296

Run time

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