Runtime checks #343
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
4 errors
publish
It seems package 'prusti-contracts-proc-macros' modified since '0.2.0' so new version should be published
|
publish
It seems package 'prusti-specs' modified since '0.2.0' so new version should be published
|
publish
It seems package 'prusti-contracts' modified since '0.2.0' so new version should be published
|
publish
Error: 3 packages consistency error(s) found
|