Bump prusti contracts version #332
Annotations
8 warnings
publish
Skipping exec 'cargo publish' in 'prusti-contracts/prusti-specs' due to 'dry-run: true'
|
publish
Skipping awaiting when 'prusti-specs 0.2.0' will be available due to 'dry-run: true'
|
publish
Skipping exec 'cargo publish' in 'prusti-contracts/prusti-contracts-proc-macros' due to 'dry-run: true'
|
publish
Skipping awaiting when 'prusti-contracts-proc-macros 0.2.0' will be available due to 'dry-run: true'
|
publish
Skipping exec 'cargo publish' in 'prusti-contracts/prusti-contracts' due to 'dry-run: true'
|
publish
Skipping awaiting when 'prusti-contracts 0.2.0' will be available due to 'dry-run: true'
|
publish
Skipping exec 'cargo publish' in 'prusti-contracts/prusti-std' due to 'dry-run: true'
|
publish
Skipping awaiting when 'prusti-std 0.2.0' will be available due to 'dry-run: true'
|