Skip to content

ci: add diff whitespace check#2572

Merged
mnriem merged 1 commit into
github:mainfrom
PascalThuet:codex/ci-diff-whitespace-check
May 21, 2026
Merged

ci: add diff whitespace check#2572
mnriem merged 1 commit into
github:mainfrom
PascalThuet:codex/ci-diff-whitespace-check

Commits

Commits on May 15, 2026