Skip to content

chore(test.sh): improve user input handling and error reporting#743

Merged
MarvinJWendt merged 1 commit intomasterfrom
chore/improve-test-script
Oct 1, 2025
Merged

chore(test.sh): improve user input handling and error reporting#743
MarvinJWendt merged 1 commit intomasterfrom
chore/improve-test-script

Conversation

@MarvinJWendt
Copy link
Member

improve user input handling and error reporting

@MarvinJWendt MarvinJWendt merged commit 81b0fa9 into master Oct 1, 2025
4 checks passed
@MarvinJWendt MarvinJWendt deleted the chore/improve-test-script branch October 1, 2025 21:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant