bridges(janus): mirror canonical Idris2 OpKind (8-variant) in EchoJanusBridge #417
hyperpolymathagda.yml
on: pull_request
check
3s
cold-check
10m 55s
Annotations
1 error
|
check
Process completed with exit code 1.
|