Skip to content

Add combine-pr workflow#6831

Merged
eddumelendez merged 1 commit into
mainfrom
combine_prs
Mar 30, 2023
Merged

Add combine-pr workflow#6831
eddumelendez merged 1 commit into
mainfrom
combine_prs

Conversation

@eddumelendez

Copy link
Copy Markdown
Member

No description provided.

@eddumelendez eddumelendez requested a review from a team March 30, 2023 01:59
@eddumelendez eddumelendez merged commit cd7fbd7 into main Mar 30, 2023
@eddumelendez eddumelendez deleted the combine_prs branch March 30, 2023 02:02
@eddumelendez eddumelendez added this to the next milestone Mar 30, 2023
@github-actions github-actions Bot added the github_actions Pull requests that update Github_actions code label Mar 30, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

github_actions Pull requests that update Github_actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant