Skip to content

Comments

docs: update REPL namespace documentation#9018

Merged
Planeshifter merged 1 commit intodevelopfrom
update-repl-docs
Dec 13, 2025
Merged

docs: update REPL namespace documentation#9018
Planeshifter 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 13, 2025
@stdlib-bot stdlib-bot requested a review from a team December 13, 2025 02:42
@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.

@Planeshifter Planeshifter added the Ready To Merge A pull request which is ready to be merged. label Dec 13, 2025
@stdlib-bot
Copy link
Contributor Author

PR Commit Message

docs: update REPL namespace documentation

PR-URL: https://github.com/stdlib-js/stdlib/pull/9018

Co-authored-by: Philipp Burckhardt <pburckhardt@outlook.com>
Reviewed-by: Philipp Burckhardt <pburckhardt@outlook.com>
Signed-off-by: stdlib-bot <82920195+stdlib-bot@users.noreply.github.com>

Please review the above commit message and make any necessary adjustments.

@Planeshifter Planeshifter merged commit e33b198 into develop Dec 13, 2025
85 checks passed
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. Ready To Merge A pull request which is ready to be merged.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants