Skip to content

ci: extract clippy into its own job and remove redundant compilation#250

Merged
Boshen merged 5 commits intomainfrom
ci/extract-clippy-job
Mar 14, 2026
Merged

ci: extract clippy into its own job and remove redundant compilation#250
Boshen merged 5 commits intomainfrom
ci/extract-clippy-job

Commits

Commits on Mar 14, 2026