bridges(tropical): citation-level correspondence appendix (EchoTropical ↔ tropical-resource-typing) #400
hyperpolymathagda.yml
on: pull_request
check
19m 46s
cold-check
19m 47s
Annotations
3 errors
|
check
Canceling since a higher priority waiting request for Agda-refs/pull/65/merge exists
|
|
cold-check
Canceling since a higher priority waiting request for Agda-refs/pull/65/merge exists
|
|
Agda
Canceling since a higher priority waiting request for Agda-refs/pull/65/merge exists
|