Skip to content
Agda

examples: Example 9 — parser residue (balanced parens) #445

Sign in to view logs

examples: Example 9 — parser residue (balanced parens)

examples: Example 9 — parser residue (balanced parens) #445

Triggered via pull request May 20, 2026 17:18
@hyperpolymathhyperpolymath
opened #83
examples/parser-residue
Status Cancelled
Total duration 11m 10s
Artifacts –

agda.yml

on: pull_request
check
11m 9s
check
cold-check
11m 9s
cold-check
flake-check
11m 9s
flake-check
Fit to window
Zoom out
Zoom in

Annotations

4 errors
flake-check
Canceling since a higher priority waiting request for Agda-refs/pull/83/merge exists
cold-check
Canceling since a higher priority waiting request for Agda-refs/pull/83/merge exists
check
Canceling since a higher priority waiting request for Agda-refs/pull/83/merge exists
Agda
Canceling since a higher priority waiting request for Agda-refs/pull/83/merge exists