Skip to content

Disable PR events from triggering CI#2337

Merged
jatcwang merged 1 commit intomainfrom
disable_pr_ci
Nov 2, 2025
Merged

Disable PR events from triggering CI#2337
jatcwang merged 1 commit intomainfrom
disable_pr_ci

Commits

Commits on Nov 2, 2025