ci: Only fetch origin while in pull request#3268

Merged

Xuanwo merged 1 commit intomainfrom fix-plan-on-push

Oct 13, 2023

+1-2

Commits on Oct 13, 2023

ci: Only fetch origin while in pull request
Xuanwo
committed