Skip to content
Agda

chore(governance): salvage net-new artifacts only — drop superseded s… #675

Sign in to view logs

chore(governance): salvage net-new artifacts only — drop superseded s…

chore(governance): salvage net-new artifacts only — drop superseded s… #675

Triggered via push June 13, 2026 12:53
@hyperpolymathhyperpolymath
pushed fd2a2f7
main
Status Success
Total duration 10m 59s
Artifacts –

agda.yml

on: push
check
1m 55s
check
cold-check
10m 40s
cold-check
Fit to window
Zoom out
Zoom in