Skip to content
Continuous integration

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

Sign in to view logs

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

Triggered via pull request June 17, 2025 22:15
@scottopellscottopell
synchronize #1395
sopell/add-run-subcommand
Status Success
Total duration 9m 7s
Artifacts –

ci.yml

on: pull_request
Shellcheck
5s
Shellcheck
cargo-deny
37s
cargo-deny
Test Suite
9m 2s
Test Suite
Integration Tests
2m 22s
Integration Tests
buf
47s
buf
actionlint
4s
actionlint
action-sha-pin-check
11s
action-sha-pin-check
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