Skip to content

Conversation

@vaind
Copy link
Contributor

@vaind vaind commented Aug 22, 2022

closes #16

@vaind vaind force-pushed the ci/pr-strategy branch 2 times, most recently from 81d6e67 to 480b094 Compare August 22, 2022 07:28
@vaind vaind merged commit 4625fad into main Aug 22, 2022
@vaind vaind deleted the ci/pr-strategy branch August 22, 2022 07:45
vaind added a commit that referenced this pull request Aug 22, 2022
vaind added a commit that referenced this pull request Aug 22, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Support reusing PRs

2 participants