Skip to content

tools: update doc to highlight.js@11.7.0 - #45636

Merged
nodejs-github-bot merged 1 commit into
mainfrom
actions/tools-update-doc
Nov 29, 2022
Merged

tools: update doc to highlight.js@11.7.0#45636
nodejs-github-bot merged 1 commit into
mainfrom
actions/tools-update-doc

Conversation

@nodejs-github-bot

Copy link
Copy Markdown
Collaborator

This is an automated update of doc to highlight.js@11.7.0.

@nodejs-github-bot nodejs-github-bot added tools Issues and PRs related to the tools directory. doc Issues and PRs related to Node.js documentation. labels Nov 27, 2022
@aduh95 aduh95 added author ready PRs with CI started, the required approvals, and no outstanding review comments. commit-queue PRs queued for automated landing through the Commit Queue. labels Nov 27, 2022
@nodejs-github-bot nodejs-github-bot removed the commit-queue PRs queued for automated landing through the Commit Queue. label Nov 29, 2022
@nodejs-github-bot
nodejs-github-bot merged commit c98a10f into main Nov 29, 2022
@nodejs-github-bot

Copy link
Copy Markdown
Collaborator Author

Landed in c98a10f

@nodejs-github-bot
nodejs-github-bot deleted the actions/tools-update-doc branch November 29, 2022 00:51
targos pushed a commit that referenced this pull request Dec 12, 2022
PR-URL: #45636
Reviewed-By: Moshe Atlow <moshe@atlow.co.il>
Reviewed-By: Antoine du Hamel <duhamelantoine1995@gmail.com>
Reviewed-By: James M Snell <jasnell@gmail.com>
Reviewed-By: Luigi Pinca <luigipinca@gmail.com>
Reviewed-By: Rich Trott <rtrott@gmail.com>
danielleadams pushed a commit that referenced this pull request Dec 30, 2022
PR-URL: #45636
Reviewed-By: Moshe Atlow <moshe@atlow.co.il>
Reviewed-By: Antoine du Hamel <duhamelantoine1995@gmail.com>
Reviewed-By: James M Snell <jasnell@gmail.com>
Reviewed-By: Luigi Pinca <luigipinca@gmail.com>
Reviewed-By: Rich Trott <rtrott@gmail.com>
danielleadams pushed a commit that referenced this pull request Jan 3, 2023
PR-URL: #45636
Reviewed-By: Moshe Atlow <moshe@atlow.co.il>
Reviewed-By: Antoine du Hamel <duhamelantoine1995@gmail.com>
Reviewed-By: James M Snell <jasnell@gmail.com>
Reviewed-By: Luigi Pinca <luigipinca@gmail.com>
Reviewed-By: Rich Trott <rtrott@gmail.com>
danielleadams pushed a commit that referenced this pull request Jan 5, 2023
PR-URL: #45636
Reviewed-By: Moshe Atlow <moshe@atlow.co.il>
Reviewed-By: Antoine du Hamel <duhamelantoine1995@gmail.com>
Reviewed-By: James M Snell <jasnell@gmail.com>
Reviewed-By: Luigi Pinca <luigipinca@gmail.com>
Reviewed-By: Rich Trott <rtrott@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

author ready PRs with CI started, the required approvals, and no outstanding review comments. doc Issues and PRs related to Node.js documentation. tools Issues and PRs related to the tools directory.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants