proof(ordinal): head-Ω-strict-or-eq — joint-bplus umbrella case-split #676
hyperpolymathagda.yml
on: pull_request
check
1m 45s
cold-check
3m 11s
Annotations
3 errors
|
cold-check
Canceling since a higher priority waiting request for Agda-refs/pull/199/merge exists
|
|
cold-check
The operation was canceled.
|
|
Agda
Canceling since a higher priority waiting request for Agda-refs/pull/199/merge exists
|