Skip to content
Agda

fix(ci): unbreak workflow YAML and add a complete actions.lock #915

Sign in to view logs

fix(ci): unbreak workflow YAML and add a complete actions.lock

fix(ci): unbreak workflow YAML and add a complete actions.lock #915

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
1m 55s
cold-check
11m 28s
13m 23s