rems-project / cn-tutorial

7 stars 8 forks source link

Use `cn verify` #55

Closed dc-mak closed 1 month ago

dc-mak commented 1 month ago

https://github.com/rems-project/cerberus/pull/394 introduced sub-commands in a backwards-compatible way (with a clever hack). We should update the CI scripts to not use the old command format.