Updated Bots (markdown)

Tim van der Meij 2024-05-29 17:03:19 +02:00
parent 5cf7f33415
commit 98c5549984

@ -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`