feat: EchoReversibilityBridge — discharge 007 L10 reversibility obligations #806
hyperpolymathagda.yml
on: pull_request
check
3s
cold-check
3m 33s
Annotations
4 errors
|
check
Process completed with exit code 1.
|
|
Agda
Canceling since a higher priority waiting request for Agda-refs/pull/249/merge exists
|
|
cold-check
Canceling since a higher priority waiting request for Agda-refs/pull/249/merge exists
|
|
cold-check
The operation was canceled.
|