Skip to content
Agda

docs: add theorem index, bridge status, and governance docs #489

Sign in to view logs

docs: add theorem index, bridge status, and governance docs

docs: add theorem index, bridge status, and governance docs #489

Triggered via push May 22, 2026 13:49
@hyperpolymathhyperpolymath
pushed c238e08
main
Status Cancelled
Total duration 41m 36s
Artifacts –

agda.yml

on: push
check
41m 34s
check
cold-check
41m 34s
cold-check
flake-check
41m 34s
flake-check
Fit to window
Zoom out
Zoom in

Annotations

4 errors
flake-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
cold-check
Canceling since a higher priority waiting request for Agda-refs/heads/main exists