prusti-dev
prusti-dev copied to clipboard
Action to publish `prusti-contracts` to crates.io
Fixes #529
- [ ] Reorganize
prusti-contractsworkspace