diff --git a/Bots.md b/Bots.md index 58ca867..d0d40d0 100644 --- a/Bots.md +++ b/Bots.md @@ -1,4 +1,4 @@ -PDF.js maintains two bots that perform various tasks for pull requests. The bots are controlled by the owners and selected collaborators of the project. We list the characteristics of both bots and describe the tasks that they are able to perform. +PDF.js maintains two bots that perform various tasks for pull requests and releases. The bots are controlled by the owners and selected collaborators of the project. We list the characteristics of both bots and describe the tasks that they are able to perform. Tasks ----- @@ -6,7 +6,6 @@ Tasks While we use GitHub Actions for linting and running (a selection of) unit tests, we use the bots for all other tasks like generating a preview for a pull request and running all tests. The available bot commands are: - `preview` (generates a preview build for the pull request) -- `lint` (runs the linting tool) - `unittest` (runs the unit tests) - `fonttest` (runs the font tests) - `integrationtest` (runs the integration tests) @@ -18,7 +17,7 @@ While we use GitHub Actions for linting and running (a selection of) unit tests, Characteristics --------------- -PDF.js uses a Linux and a Windows bot that both run Node.js 18.16.0 LTS. The Linux bot has a few additional font packages to improve font rendering: +PDF.js uses a Linux and a Windows bot that both run Node.js 20.14.0 LTS. The Linux bot has a few additional font packages to improve font rendering: - `latex-cjk-all` - `xfonts-wqy`