Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix checkbot's check version issue #1089

Merged
merged 1 commit into from
Mar 23, 2022
Merged

Conversation

Thomas-Boi
Copy link
Member

@Thomas-Boi Thomas-Boi commented Mar 23, 2022

Double check these details before you open a PR

  • PR does not match another non-stale PR currently opened

Features

Fix an issue seen in #1086 where the check-bot incorrectly mark the version name as wrong.

This PR closes NONE

Notes

@Thomas-Boi Thomas-Boi added the devops Use this label for devops related enhancements label Mar 23, 2022
@Thomas-Boi Thomas-Boi merged commit 4520595 into develop Mar 23, 2022
@amacado amacado deleted the thomas/feature/checkBotFix branch March 27, 2022 15:53
@Snailedlt Snailedlt mentioned this pull request Feb 5, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
devops Use this label for devops related enhancements
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants