Skip to content

Reproducible Verification of Stylus Programs #175

Reproducible Verification of Stylus Programs

Reproducible Verification of Stylus Programs #175

Triggered via pull request July 1, 2024 21:51
Status Success
Total duration 1m 40s
Artifacts

check.yml

on: pull_request
stable / fmt
6s
stable / fmt
Matrix: clippy
Fit to window
Zoom out
Zoom in

Annotations

8 warnings
stable / fmt
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions-rs/cargo@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
stable / fmt
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/cargo@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
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
field `status` is never read: replay/src/trace.rs#L408
warning: field `status` is never read --> replay/src/trace.rs:408:9 | 407 | UserReturned { | ------------ field in this variant 408 | status: u32, | ^^^^^^
field `args_len` is never read: replay/src/trace.rs#L405
warning: field `args_len` is never read --> replay/src/trace.rs:405:9 | 404 | UserEntrypoint { | -------------- field in this variant 405 | args_len: u32, | ^^^^^^^^
field `receipt` is never read: replay/src/trace.rs#L23
warning: field `receipt` is never read --> replay/src/trace.rs:23:9 | 21 | pub struct Trace { | ----- field in this struct 22 | pub top_frame: TraceFrame, 23 | pub receipt: TransactionReceipt, | ^^^^^^^ | = note: `Trace` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis = note: `#[warn(dead_code)]` on by default
stable / clippy
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions-rs/clippy-check@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
stable / clippy
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/clippy-check@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/