Skip to content

Conversation

grod220
Copy link
Member

@grod220 grod220 commented May 8, 2025

The check is correct, but the error message is wrong.

@grod220 grod220 requested review from joncinque and buffalojoec May 8, 2025 16:55
Copy link
Contributor

@joncinque joncinque left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Heh, oops

@grod220 grod220 merged commit 84e30ae into main May 8, 2025
11 checks passed
@grod220 grod220 deleted the correct-error-msg branch May 8, 2025 18:53
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.

2 participants