Skip to content
Agda

chore(deps): bump actions/checkout from 6.0.3 to 7.0.0 in the actions… #816

Sign in to view logs

chore(deps): bump actions/checkout from 6.0.3 to 7.0.0 in the actions…

chore(deps): bump actions/checkout from 6.0.3 to 7.0.0 in the actions… #816

Triggered via push June 20, 2026 21:43
@hyperpolymathhyperpolymath
pushed 1d6c035
main
Status Success
Total duration 12m 7s
Artifacts –

agda.yml

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