Publish on Crates.io

Runtime checks #345

Sign in to view logs

Summary
Jobs
- publish
Run details
- Usage
- Workflow file

Annotations

4 errors

It seems package 'prusti-specs' modified since '0.2.0' so new version should be published

It seems package 'prusti-contracts' modified since '0.2.0' so new version should be published

It seems package 'prusti-contracts-proc-macros' modified since '0.2.0' so new version should be published

Error: 3 packages consistency error(s) found

The logs for this run have expired and are no longer available.