Repository navigation

ci: judge a pull request from the base branch tree - #836

Merged

HugoXK merged 3 commits into

mainfrom

dev1/640-gate-integrity

Nov 15, 2026

Merged

ci: judge a pull request from the base branch tree#836
HugoXK merged 3 commits into
mainfrom
dev1/640-gate-integrity

Commits on Nov 15, 2026
- ci: judge a pull request from the base branch tree (#640)
  HugoXK
  committed
  8961a34
- ci: run the gate-integrity summary only when the base has it (#640)
  HugoXK
  committed
  715f35d
- ci: print the base-tree blob that decided (#640)
  HugoXK
  committed
  5deaffa