Skip to content

ci: add deterministic formatting and clean-worktree gates#68

Merged
Mehdi-Bl merged 2 commits into
mainfrom
chore/ci-formatting-gate
Feb 11, 2026
Merged

ci: add deterministic formatting and clean-worktree gates#68
Mehdi-Bl merged 2 commits into
mainfrom
chore/ci-formatting-gate

Commits

Commits on Feb 11, 2026