Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Skip CI for draft PR#5333

Merged
ftshijt merged 8 commits intomasterfrom
ftshijt-patch-1
Jul 21, 2023
Merged

Skip CI for draft PR#5333
ftshijt merged 8 commits intomasterfrom
ftshijt-patch-1

Conversation

@ftshijt
Copy link
Collaborator

@ftshijt ftshijt commented Jul 21, 2023

Skip CI for draft PR

@mergify mergify bot added the CI Travis, Circle CI, etc label Jul 21, 2023
@sw005320 sw005320 added this to the v.202307 milestone Jul 21, 2023
@ftshijt ftshijt merged commit 47fb130 into master Jul 21, 2023
@ftshijt ftshijt deleted the ftshijt-patch-1 branch July 21, 2023 22:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI Travis, Circle CI, etc

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants