Skip to content

Improve github workflow; add clippy#52

Merged
jcreekmore merged 2 commits intojcreekmore:masterfrom
banditopazzo:improve-ci
Aug 6, 2025
Merged

Improve github workflow; add clippy#52
jcreekmore merged 2 commits intojcreekmore:masterfrom
banditopazzo:improve-ci

Commits

Commits on Aug 5, 2025