Skip to content
Agda

docs: record tech-debt audit findings (2026-05-26) (#114) #533

Sign in to view logs

docs: record tech-debt audit findings (2026-05-26) (#114)

docs: record tech-debt audit findings (2026-05-26) (#114) #533

Triggered via push May 27, 2026 12:02
@hyperpolymathhyperpolymath
pushed 9229ea9
main
Status Cancelled
Total duration 7s
Artifacts –

agda.yml

on: push
check
5s
check
cold-check
5s
cold-check
Fit to window
Zoom out
Zoom in

Annotations

3 errors
cold-check
Canceling since a higher priority waiting request for Agda-refs/heads/main exists
Agda
Canceling since a higher priority waiting request for Agda-refs/heads/main exists
check
Canceling since a higher priority waiting request for Agda-refs/heads/main exists