Skip to content

ci: Only fetch origin while in pull request#3268

Merged
Xuanwo merged 1 commit intomainfrom
fix-plan-on-push
Oct 13, 2023
Merged

ci: Only fetch origin while in pull request#3268
Xuanwo merged 1 commit intomainfrom
fix-plan-on-push

Conversation

@Xuanwo
Copy link
Copy Markdown
Member

@Xuanwo Xuanwo commented Oct 13, 2023

No description provided.

Signed-off-by: Xuanwo <github@xuanwo.io>
@Xuanwo Xuanwo marked this pull request as ready for review October 13, 2023 03:08
@Xuanwo Xuanwo requested a review from PsiACE as a code owner October 13, 2023 03:08
@Xuanwo Xuanwo requested review from suyanhanx and tisonkun October 13, 2023 03:08
@github-actions github-actions Bot added the releases-note/ci The PR modifies CI-related content or has a title that begins with "ci" label Oct 13, 2023
@Xuanwo Xuanwo merged commit dd325a4 into main Oct 13, 2023
@Xuanwo Xuanwo deleted the fix-plan-on-push branch October 13, 2023 03:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

releases-note/ci The PR modifies CI-related content or has a title that begins with "ci"

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants