Runtime checks #345

Triggered via pull request September 18, 2023 12:22

cedihegi

synchronize #1452

cedihegi:runtime-checks

Status Failure

Total duration 46s

Artifacts –

crates-io.yml

on: pull_request

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