Skip to content

CI: review first, then the suites on a fresh merge, then the arm (policy review-then-suites) - #6162

Merged
rbuergi merged 1 commit into
mainfrom
ci/review-then-suites
Oct 5, 2026
Merged

CI: review first, then the suites on a fresh merge, then the arm (policy review-then-suites)#6162
rbuergi merged 1 commit into
mainfrom
ci/review-then-suites

ci: review first, then the suites on a fresh merge, then the arm (pol…

d13dbfb
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs