Skip to content
Agda

harden(ci): concurrency-cancel + scope Agda push to integration branches #380

Sign in to view logs

harden(ci): concurrency-cancel + scope Agda push to integration branches

harden(ci): concurrency-cancel + scope Agda push to integration branches #380

Run time

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