proof(ordinal): φ₁ — the ε-number enumeration (BH climb rung 3, slice 2) #780
hyperpolymathagda.yml
on: pull_request
check
4m 57s
cold-check
4m 50s
Annotations
5 errors
|
cold-check
Canceling since a higher priority waiting request for Agda-refs/pull/238/merge exists
|
|
cold-check
The operation was canceled.
|
|
Agda
Canceling since a higher priority waiting request for Agda-refs/pull/238/merge exists
|
|
check
Canceling since a higher priority waiting request for Agda-refs/pull/238/merge exists
|
|
check
The operation was canceled.
|