Skip to content
Agda

Antiecho partition dec #491

Sign in to view logs

Antiecho partition dec

Antiecho partition dec #491

Triggered via pull request May 22, 2026 14:22
@hyperpolymathhyperpolymath
opened #98
antiecho-partition-dec
Status Cancelled
Total duration 8s
Artifacts –

agda.yml

on: pull_request
check
6s
check
cold-check
6s
cold-check
flake-check
6s
flake-check
Fit to window
Zoom out
Zoom in

Annotations

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