Skip to content

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

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

Triggered via pull request June 18, 2025 15:10
Status Failure
Total duration 3m 38s
Artifacts

ci.yml

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

Annotations

1 error and 1 warning
Test Suite
Process completed with exit code 22.
buf
No github_token supplied, API requests will be subject to stricter rate limiting