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

Triggered via pull request August 27, 2026 05:06
@hyperpolymathhyperpolymath
opened #306
fix/workflow-dependency-locking
Status Success
Total duration 46m 9s
Artifacts –

agda.yml

on: pull_request
check
1m 55s
check
cold-check
11m 28s
cold-check
Fit to window
Zoom out
Zoom in