Skip to content
Publish on Crates.io

Provide Specs for the Standard Library #336

Sign in to view logs

Provide Specs for the Standard Library

Provide Specs for the Standard Library #336

Triggered via pull request September 4, 2023 17:49
@Aurel300Aurel300
synchronize #1249
juliand665:prusti-std
Status Failure
Total duration 40s
Artifacts –

crates-io.yml

on: pull_request
publish
30s
publish
Fit to window
Zoom out
Zoom in

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-std' 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