Skip to content
Agda

docs: Pillar E paper — Evaluation section (clears [EXPAND]) (#84) #450

Sign in to view logs

docs: Pillar E paper — Evaluation section (clears [EXPAND]) (#84)

docs: Pillar E paper — Evaluation section (clears [EXPAND]) (#84) #450

Triggered via push May 20, 2026 17:29
@hyperpolymathhyperpolymath
pushed d0f21fe
main
Status Cancelled
Total duration 39s
Artifacts –

agda.yml

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

Annotations

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