Skip to content

docs: update REPL namespace documentation#13144

Merged
kgryte merged 1 commit into
developfrom
update-repl-docs
Jun 26, 2026
Merged

docs: update REPL namespace documentation#13144
kgryte merged 1 commit into
developfrom
update-repl-docs

Conversation

@stdlib-bot

Copy link
Copy Markdown
Contributor

This PR

  • updates the REPL namespace documentation

Signed-off-by: stdlib-bot <82920195+stdlib-bot@users.noreply.github.com>
@stdlib-bot stdlib-bot requested a review from a team June 26, 2026 03:20
@stdlib-bot stdlib-bot added automated-pr Automated pull request (e.g., from a bot). Documentation Improvements, additions, or changes to documentation. REPL Issue or pull request specific to the project REPL. Needs Review A pull request which needs code review. labels Jun 26, 2026
@stdlib-bot

Copy link
Copy Markdown
Contributor Author

Coverage Report

Package Statements Branches Functions Lines
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\\%$
repl/info $\\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 5715620 into develop Jun 26, 2026
85 checks passed
@kgryte kgryte deleted the update-repl-docs branch June 26, 2026 08:19
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. Needs Review A pull request which needs code review. REPL Issue or pull request specific to the project REPL.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants