Runtime checks #337

Triggered via pull request September 6, 2023 09:46

cedihegi

opened #1452

cedihegi:runtime-checks

Status Failure

Total duration 2m 14s

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-proc-macros' 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

Error: 3 packages consistency error(s) found