fix(ci): drop invalid timeout-minutes from reusable-workflow calls (parse-dead) #873
agda.yml
on: pull_request
check
1m 58s
cold-check
11m 48s