Skip to content

Add Clippy to CI Workflow - #5

Merged
stennisrl merged 6 commits into
mainfrom
add-clippy-ci
Oct 20, 2025
Merged

Add Clippy to CI Workflow#5
stennisrl merged 6 commits into
mainfrom
add-clippy-ci

Conversation

@stennisrl

@stennisrl stennisrl commented Oct 20, 2025

Copy link
Copy Markdown
Owner

This PR adds a new Clippy job to the GitHub workflow to ensure PRs are properly linted.
Additionally, various warnings across rosrust-async-test and examples have been corrected.

@stennisrl stennisrl linked an issue Oct 20, 2025 that may be closed by this pull request
@stennisrl
stennisrl marked this pull request as ready for review October 20, 2025 02:48
@stennisrl
stennisrl merged commit d3c1880 into main Oct 20, 2025
3 checks passed
@stennisrl
stennisrl deleted the add-clippy-ci branch October 20, 2025 03:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add Clippy to CI Workflow

1 participant