Skip to content

Comments

docs: update REPL namespace documentation#9292

Merged
kgryte merged 1 commit intodevelopfrom
update-repl-docs
Dec 21, 2025
Merged

docs: update REPL namespace documentation#9292
kgryte merged 1 commit intodevelopfrom
update-repl-docs

Conversation

@stdlib-bot
Copy link
Contributor

This PR

  • updates the REPL namespace documentation

Signed-off-by: stdlib-bot <82920195+stdlib-bot@users.noreply.github.com>
@stdlib-bot stdlib-bot added automated-pr Automated pull request (e.g., from a bot). Documentation Improvements, additions, or changes to documentation. labels Dec 21, 2025
@stdlib-bot stdlib-bot requested a review from a team December 21, 2025 02:49
@stdlib-bot
Copy link
Contributor Author

Coverage Report

Package Statements Branches Functions Lines
repl/code-blocks $\color{green}95/95$
$\color{green}+100.00%$
$\color{green}7/7$
$\color{green}+100.00%$
$\color{green}1/1$
$\color{green}+100.00%$
$\color{green}95/95$
$\color{green}+100.00%$
repl/help $\color{green}95/95$
$\color{green}+100.00%$
$\color{green}7/7$
$\color{green}+100.00%$
$\color{green}1/1$
$\color{green}+100.00%$
$\color{green}95/95$
$\color{green}+100.00%$

The above coverage report was generated for the changes in this PR.

@kgryte kgryte merged commit 9da1317 into develop Dec 21, 2025
51 checks passed
@kgryte kgryte deleted the update-repl-docs branch December 21, 2025 12:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

automated-pr Automated pull request (e.g., from a bot). Documentation Improvements, additions, or changes to documentation.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants