Skip to content
Agda

chore(ci): bump standards reusable workflow pins (#276) #850

Sign in to view logs

chore(ci): bump standards reusable workflow pins (#276)

chore(ci): bump standards reusable workflow pins (#276) #850

Triggered via push June 24, 2026 14:38
@hyperpolymathhyperpolymath
pushed dd36b88
main
Status Cancelled
Total duration 1h 6m 11s
Artifacts –

agda.yml

on: push
check
1h 6m
check
cold-check
1h 6m
cold-check
Fit to window
Zoom out
Zoom in

Annotations

3 errors
check
Canceling since a higher priority waiting request for Agda-refs/heads/main exists
cold-check
Canceling since a higher priority waiting request for Agda-refs/heads/main exists
Agda
Canceling since a higher priority waiting request for Agda-refs/heads/main exists