Skip to content

ci: make CI run on any PR#1833

Merged
erickzhao merged 1 commit into
mainfrom
erickzhao-patch-1
Sep 18, 2025
Merged

ci: make CI run on any PR#1833
erickzhao merged 1 commit into
mainfrom
erickzhao-patch-1