Skip to content

ci: Lint entire workspace with clippy#340

Merged
bilelmoussaoui merged 2 commits into
mainfrom
ci-workspace
Oct 26, 2025
Merged

ci: Lint entire workspace with clippy#340
bilelmoussaoui merged 2 commits into
mainfrom
ci-workspace

Conversation

@A6GibKm
Copy link
Copy Markdown
Collaborator

@A6GibKm A6GibKm commented Oct 26, 2025

No description provided.

@bilelmoussaoui bilelmoussaoui merged commit d252357 into main Oct 26, 2025
8 of 9 checks passed
@bilelmoussaoui
Copy link
Copy Markdown
Collaborator

That is what i was missing! Thanks

@github-actions
Copy link
Copy Markdown

📊 Code Coverage Report

Metric Value
Current PR Coverage 73.03%
Main Branch Coverage 73.06%
Coverage Change 📉 -0.03%

Coverage report generated by cargo-tarpaulin

@bilelmoussaoui bilelmoussaoui deleted the ci-workspace branch October 26, 2025 20:37
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.

2 participants