Skip to content

fix(ci): drop invalid timeout-minutes from reusable-workflow calls (parse-dead) #873

fix(ci): drop invalid timeout-minutes from reusable-workflow calls (parse-dead)

fix(ci): drop invalid timeout-minutes from reusable-workflow calls (parse-dead) #873

Triggered via pull request July 17, 2026 20:30
Status Success
Total duration 13m 3s
Artifacts

agda.yml

on: pull_request
Fit to window
Zoom out
Zoom in