Skip to content

ci: run clippy on all workspaces#1780

Merged
ruben-arts merged 1 commit intoprefix-dev:mainfrom Hofer-Julian:ci/clippy-workspaceAug 12, 2024

Commits

Commits on Aug 9, 2024