Skip to content

[MAINTENANCE] Ensure git is clean after build - #874

Merged
alien11689 merged 2 commits into
trunkfrom
ensure-git-is-clean-after-build
Aug 3, 2026
Merged

[MAINTENANCE] Ensure git is clean after build#874
alien11689 merged 2 commits into
trunkfrom
ensure-git-is-clean-after-build

[MAINTENANCE] Mark GH CI red when git repo is dirty after run

6089379
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar