Skip to content

Adds structure to support lading subcommands, 'run' is an alias for the current root cmd #4956

Adds structure to support lading subcommands, 'run' is an alias for the current root cmd

Adds structure to support lading subcommands, 'run' is an alias for the current root cmd #4956

Triggered via pull request June 17, 2025 18:37
Status Failure
Total duration 9m 4s
Artifacts

ci.yml

on: pull_request
Matrix: Kani Proofs
Matrix: Rust Actions (Check/Fmt/Clippy)
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 1 warning
Rust Actions (Check/Fmt/Clippy) (ubuntu-latest, clippy)
Process completed with exit code 101.
Rust Actions (Check/Fmt/Clippy) (ubuntu-latest, clippy): lading/src/observer/linux/utils/mod.rs#L1
`mod.rs` files are not allowed, found `lading/src/observer/linux/utils/mod.rs`
buf
No github_token supplied, API requests will be subject to stricter rate limiting