Skip to content
Agda

ci: refresh standards reusable pins to current HEAD (d7c2271) (#283) #858

Sign in to view logs

ci: refresh standards reusable pins to current HEAD (d7c2271) (#283)

ci: refresh standards reusable pins to current HEAD (d7c2271) (#283) #858

Triggered via push June 27, 2026 15:43
@hyperpolymathhyperpolymath
pushed 1eec5b3
main
Status Success
Total duration 12m 15s
Artifacts –

agda.yml

on: push
check
1m 58s
check
cold-check
11m 32s
cold-check
Fit to window
Zoom out
Zoom in