chore(CI): fix dafny_interop to setup_net #2135
imabhichowcheck-files.yml
on: pull_request
require-approvals
6s
Annotations
2 errors
|
require-approvals
Process completed with exit code 1.
|
|
require-approvals
Not enough approvals; has 0 where 2 approvals are required.
|