Skip to content

Update dependencies (rustc nightly-2023-07-15) #325

Update dependencies (rustc nightly-2023-07-15)

Update dependencies (rustc nightly-2023-07-15) #325

Triggered via pull request August 11, 2023 08:14
Status Success
Total duration 56s
Artifacts

crates-io.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

9 warnings
publish
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
publish
Skipping exec 'cargo publish' in 'prusti-contracts/prusti-specs' due to 'dry-run: true'
publish
Skipping awaiting when 'prusti-specs 0.1.10' will be available due to 'dry-run: true'
publish
Skipping exec 'cargo publish' in 'prusti-contracts/prusti-contracts-proc-macros' due to 'dry-run: true'
publish
Skipping awaiting when 'prusti-contracts-proc-macros 0.1.10' will be available due to 'dry-run: true'
publish
Skipping exec 'cargo publish' in 'prusti-contracts/prusti-contracts' due to 'dry-run: true'
publish
Skipping awaiting when 'prusti-contracts 0.1.10' will be available due to 'dry-run: true'
publish
Skipping exec 'cargo publish' in 'prusti-contracts/prusti-std' due to 'dry-run: true'
publish
Skipping awaiting when 'prusti-std 0.1.10' will be available due to 'dry-run: true'