Skip to content

Runtime checks

Runtime checks #347

Triggered via pull request September 22, 2023 16:06
Status Failure
Total duration 45s
Artifacts

crates-io.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

4 errors
publish
It seems package 'prusti-contracts' modified since '0.2.0' so new version should be published
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
Error: 3 packages consistency error(s) found