diff --git a/.github/workflows/build-and-test-on-pr-open.yml b/.github/workflows/build-on-pull-request.yml
similarity index 86%
rename from .github/workflows/build-and-test-on-pr-open.yml
rename to .github/workflows/build-on-pull-request.yml
index 4f564bf..dfa287d 100644
--- a/.github/workflows/build-and-test-on-pr-open.yml
+++ b/.github/workflows/build-on-pull-request.yml
@@ -37,3 +37,10 @@ jobs:
 
       - name: Run integration tests
         run: mvn --file pom.xml -U clean verify -Pintegration-tests
+
+      - name: Use Node.js
+        uses: actions/setup-node@v3
+        with:
+          node-version: '20.x'
+      - run: cd docs && npm ci
+      - run: cd docs && npm run build
diff --git a/Makefile b/Makefile
index 94c020f..47a9fd9 100644
--- a/Makefile
+++ b/Makefile
@@ -29,10 +29,10 @@ list-releases:
       --compressed \
       --silent | jq -r '.components[].version'
 
-build-docs:
+docs:
 	npm i --prefix docs && npm run build --prefix docs
 
-start-docs:
+docs-dev:
 	npm i --prefix docs && npm run start --prefix docs
 
 start-cpu: