Theory/axis8 deferred sweep · hyperpolymath/echo-types@0ac02fb

Triggered via pull request May 22, 2026 14:22

opened #97

Status Cancelled

Total duration 1m 29s

Artifacts –

agda.yml

on: pull_request

4 errors

Canceling since a higher priority waiting request for Agda-refs/pull/97/merge exists

Canceling since a higher priority waiting request for Agda-refs/pull/97/merge exists

Canceling since a higher priority waiting request for Agda-refs/pull/97/merge exists

Canceling since a higher priority waiting request for Agda-refs/pull/97/merge exists