chore: apply clippy fixes #2
Owner
No description provided.
ghoscht
added 2 commits 2025-08-04 12:48:43 +02:00
All checks were successful
Continuous integration / Build and test (push) Successful in 1m11s
Details
Continuous integration / Build and test (pull_request) Successful in 1m28s
Details
ghoscht
scheduled this pull request to auto merge when all checks succeed 2025-08-04 12:53:20 +02:00
chore: apply clippy fixes (#2)
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "feat/clippy-fixes"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?