Skip to content
Agda

theory: EchoSearch — Axis 8 witness-search machine (thin slice) #442

Sign in to view logs

theory: EchoSearch — Axis 8 witness-search machine (thin slice)

theory: EchoSearch — Axis 8 witness-search machine (thin slice) #442

Triggered via pull request May 20, 2026 17:16
@hyperpolymathhyperpolymath
opened #80
theory/echo-search-thin-slice
Status Cancelled
Total duration 16m 27s
Artifacts –

agda.yml

on: pull_request
check
16m 25s
check
cold-check
16m 25s
cold-check
flake-check
16m 25s
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/80/merge exists
check
Canceling since a higher priority waiting request for Agda-refs/pull/80/merge exists
Agda
Canceling since a higher priority waiting request for Agda-refs/pull/80/merge exists
cold-check
Canceling since a higher priority waiting request for Agda-refs/pull/80/merge exists