Skip to content

Adds a 'ci/validate-linux' command to use a docker container to run ci/validate in linux env #4964

Adds a 'ci/validate-linux' command to use a docker container to run ci/validate in linux env

Adds a 'ci/validate-linux' command to use a docker container to run ci/validate in linux env #4964

Triggered via pull request June 17, 2025 19:13
Status Failure
Total duration 8m 52s
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