Skip to content
Agda

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

Sign in to view logs

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

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

Triggered via pull request August 13, 2026 04:58
@hyperpolymathhyperpolymath
opened #303
fix/ci-426-batch14
Status Success
Total duration 12m 6s
Artifacts –

agda.yml

on: pull_request
check
2m 31s
check
cold-check
12m 3s
cold-check
Fit to window
Zoom out
Zoom in