Skip to content

fix #1301: issue with expected toString Rep in test#1311

Merged
ahoy-jon merged 1 commit into
mainfrom
1301-fix-choicetest
Jul 1, 2025
Merged

fix #1301: issue with expected toString Rep in test#1311
ahoy-jon merged 1 commit into
mainfrom
1301-fix-choicetest

Conversation

@ahoy-jon
Copy link
Copy Markdown
Collaborator

@ahoy-jon ahoy-jon commented Jul 1, 2025

@hearnadam indeed, sorry

@ahoy-jon ahoy-jon linked an issue Jul 1, 2025 that may be closed by this pull request
@ahoy-jon ahoy-jon mentioned this pull request Jul 1, 2025
@ahoy-jon ahoy-jon merged commit 46f9b1a into main Jul 1, 2025
4 of 5 checks passed
@ahoy-jon ahoy-jon deleted the 1301-fix-choicetest branch July 1, 2025 10:43
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.

fix ChoiceTest

1 participant