Skip to content

remove scope on post/pre incs - #8814

Merged
TomasVotruba merged 2 commits into
mainfrom
tv-cleanup-scope-5
Oct 24, 2026
Merged

remove scope on post/pre incs#8814
TomasVotruba merged 2 commits into
mainfrom
tv-cleanup-scope-5

remove union/intersection scope

c777863
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar