prusti-dev icon indicating copy to clipboard operation
prusti-dev copied to clipboard
verified publisher icon viperproject

Action to publish `prusti-contracts` to crates.io

Open JonasAlaif opened this issue 3 years ago • 0 comments

Fixes #529

  • [ ] Reorganize prusti-contracts workspace

JonasAlaif avatar Sep 01 '22 14:09 JonasAlaif