CI: rename CI README and add pull_request trigger to workflow#5
Merged
yeahdongcn merged 1 commit intoMooreThreads:mainfrom Jan 9, 2026
Merged
CI: rename CI README and add pull_request trigger to workflow#5yeahdongcn merged 1 commit intoMooreThreads:mainfrom
yeahdongcn merged 1 commit intoMooreThreads:mainfrom