Skip to content

[CI] Merge PR against its target branch instead of main#19712

Merged
tqchen merged 1 commit into
mainfrom
ruihanglai/ci-merge-target
Jun 10, 2026
Merged

[CI] Merge PR against its target branch instead of main#19712
tqchen merged 1 commit into
mainfrom
ruihanglai/ci-merge-target

[CI] Merge PR against its target branch instead of main

1329863
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
cc-reviewers
succeeded Jun 9, 2026 in 24s