bridges(janus): mirror canonical Idris2 OpKind (8-variant) in EchoJanusBridge #401
hyperpolymathagda.yml
on: pull_request
check
18m 20s
cold-check
18m 20s
Annotations
3 errors
|
check
Canceling since a higher priority waiting request for Agda-refs/pull/66/merge exists
|
|
cold-check
Canceling since a higher priority waiting request for Agda-refs/pull/66/merge exists
|
|
Agda
Canceling since a higher priority waiting request for Agda-refs/pull/66/merge exists
|