Update dependencies (rustc nightly-2023-06-15, viper v-2023-05-17-0733) #274

Triggered via pull request July 12, 2023 14:03

JonasAlaif

synchronize #1411

Status Success

Total duration 1m 59s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

crates-io.yml

on: pull_request

8 warnings

Skipping exec 'cargo publish' in 'prusti-contracts/prusti-specs' due to 'dry-run: true'

Skipping awaiting when 'prusti-specs 0.1.9' will be available due to 'dry-run: true'

Skipping exec 'cargo publish' in 'prusti-contracts/prusti-contracts-proc-macros' due to 'dry-run: true'

Skipping awaiting when 'prusti-contracts-proc-macros 0.1.9' will be available due to 'dry-run: true'

Skipping exec 'cargo publish' in 'prusti-contracts/prusti-contracts' due to 'dry-run: true'

Skipping awaiting when 'prusti-contracts 0.1.9' will be available due to 'dry-run: true'

Skipping exec 'cargo publish' in 'prusti-contracts/prusti-std' due to 'dry-run: true'

Skipping awaiting when 'prusti-std 0.1.9' will be available due to 'dry-run: true'