Skip to content

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

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 #4973

Triggered via pull request June 17, 2025 22:16
Status Success
Total duration 9m 6s
Artifacts

ci.yml

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

Annotations

1 warning
buf
No github_token supplied, API requests will be subject to stricter rate limiting