From 7af8d097986079b35cae9997de5ec36c2d3861bc Mon Sep 17 00:00:00 2001 From: Tim van der Meij Date: Thu, 30 May 2024 15:09:01 +0200 Subject: [PATCH] Updated Bots (markdown) --- Bots.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Bots.md b/Bots.md index 077a16a..0c677e7 100644 --- a/Bots.md +++ b/Bots.md @@ -3,7 +3,7 @@ PDF.js maintains two bots that perform various tasks for pull requests and relea 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: +While we use GitHub Actions for linting and running subset of 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) - `unittest` (runs the unit tests)