Skip to content

[ci] Fail build if any git tracked files were modified.#1288

Merged
jonpryor merged 2 commits intomainfrom
fail-on-dirty-tree
Jan 14, 2025
Merged

[ci] Fail build if any git tracked files were modified.#1288
jonpryor merged 2 commits intomainfrom
fail-on-dirty-tree

Commits

Commits on Jan 13, 2025