Skip to content
Agda

fix(ci): drop invalid timeout-minutes from reusable-workflow calls (p… #874

Sign in to view logs

fix(ci): drop invalid timeout-minutes from reusable-workflow calls (p…

fix(ci): drop invalid timeout-minutes from reusable-workflow calls (p… #874

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cold-check
13m 8s
check
2m 9s
15m 17s