ordinal(buchholz): head-Ω Slice 2 closure + inversion + cross-doc + ledger reinforcement #546
hyperpolymathagda.yml
on: pull_request
check
8m 40s
cold-check
8m 40s
Annotations
3 errors
|
check
Canceling since a higher priority waiting request for Agda-refs/pull/131/merge exists
|
|
cold-check
Canceling since a higher priority waiting request for Agda-refs/pull/131/merge exists
|
|
Agda
Canceling since a higher priority waiting request for Agda-refs/pull/131/merge exists
|