Skip to content

Conversation

@giordano
Copy link
Collaborator

@giordano giordano commented Dec 6, 2025

The current docstring had conflicting information: the signature showed only ParsedArgs was accepted, but the description suggested only a vector of strings (like Base.ARGS) was accepted.

@giordano giordano added the documentation Improvements or additions to documentation label Dec 6, 2025
@giordano giordano force-pushed the mg/runtests-args-docs branch 2 times, most recently from 7d62ff4 to 0e95f9e Compare December 6, 2025 20:49
The current docstring had conflicting information: the signature showed only
`ParsedArgs` was accepted, but the description suggested only a vector of
strings (like `Base.ARGS`) was accepted.
@giordano giordano force-pushed the mg/runtests-args-docs branch from 0e95f9e to d7ef292 Compare December 6, 2025 20:49
@giordano giordano merged commit 7e025e5 into main Dec 6, 2025
23 checks passed
@giordano giordano deleted the mg/runtests-args-docs branch December 6, 2025 22:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants