Skip to content

workflow: update precommit for new rust source structure#1280

Merged
georgeh0 merged 1 commit intomainfrom
g/precommit
Nov 9, 2025
Merged

workflow: update precommit for new rust source structure#1280
georgeh0 merged 1 commit intomainfrom
g/precommit

Commits

Commits on Nov 9, 2025