Skip to content
Agda

fix(ci): update reusable workflow SHAs to @7fdc2705 (#303) #900

Sign in to view logs

fix(ci): update reusable workflow SHAs to @7fdc2705 (#303)

fix(ci): update reusable workflow SHAs to @7fdc2705 (#303) #900

Triggered via push August 13, 2026 17:40
@hyperpolymathhyperpolymath
pushed 04968dc
main
Status Success
Total duration 12m 10s
Artifacts –

agda.yml

on: push
check
1m 57s
check
cold-check
12m 5s
cold-check
Fit to window
Zoom out
Zoom in