Skip to content

Reproducible Verification of Stylus Programs #159

Reproducible Verification of Stylus Programs

Reproducible Verification of Stylus Programs #159

Triggered via pull request June 14, 2024 20:39
Status Success
Total duration 2m 34s
Artifacts

linux.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

1 error and 5 warnings
type annotations needed for `Box<_>`: /home/runner/.cargo/registry/src/index.crates.io-6f17d22bba15001f/time-0.3.31/src/format_description/parse/mod.rs#L83
error[E0282]: type annotations needed for `Box<_>` --> /home/runner/.cargo/registry/src/index.crates.io-6f17d22bba15001f/time-0.3.31/src/format_description/parse/mod.rs:83:9 | 83 | let items = format_items | ^^^^^ ... 86 | Ok(items.into()) | ---- type must be known at this point | help: consider giving `items` an explicit type, where the placeholders `_` are specified | 83 | let items: Box<_> = format_items | ++++++++
length comparison to zero: check/src/project.rs#L146
warning: length comparison to zero --> check/src/project.rs:146:20 | 146 | if glob_paths.len() > 0 { | ^^^^^^^^^^^^^^^^^^^^ help: using `!is_empty` is clearer and more explicit: `!glob_paths.is_empty()` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#len_zero = note: `#[warn(clippy::len_zero)]` on by default
unneeded `return` statement: check/src/project.rs#L152
warning: unneeded `return` statement --> check/src/project.rs:152:21 | 152 | return false; | ^^^^^^^^^^^^ | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_return = note: `#[warn(clippy::needless_return)]` on by default help: remove `return` | 152 - return false; 152 + false |
field `rebuild` is never read: check/src/project.rs#L33
warning: field `rebuild` is never read --> check/src/project.rs:33:9 | 30 | pub struct BuildConfig { | ----------- field in this struct ... 33 | pub rebuild: bool, | ^^^^^^^ | = note: `BuildConfig` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis = note: `#[warn(dead_code)]` on by default
(x86_64-unknown-linux-gnu, nightly)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
(x86_64-unknown-linux-gnu, stable)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.