Skip to content

ci: add lint gate (rustfmt + clippy)#3

Merged
fiorelorenzo merged 1 commit into
mainfrom
ci/lint-gate
Jul 3, 2026
Merged

ci: add lint gate (rustfmt + clippy)#3
fiorelorenzo merged 1 commit into
mainfrom
ci/lint-gate

Commits

Commits on Jul 3, 2026