diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
index aa4589e39c2..9ee22053b5e 100644
--- a/.github/workflows/test-pr.yml
+++ b/.github/workflows/test-pr.yml
@@ -189,6 +189,46 @@ jobs:
           docker stop --time=0 k-profiling-tests-${GITHUB_SHA}
           docker container rm --force k-profiling-tests-${GITHUB_SHA} || true
 
+  gh-pages:
+    name: 'GitHub Pages deployment'
+    runs-on: ubuntu-20.04
+    timeout-minutes: 30
+    needs: [release]
+    steps:
+      - name: 'Install pandoc/texlive/calibre'
+        run: |
+          sudo apt update --yes
+          sudo apt install --yes wget texlive-xetex
+          sudo wget -nv -O- https://download.calibre-ebook.com/linux-installer.sh | sh /dev/stdin version=6.29.0
+          sudo wget https://github.com/jgm/pandoc/releases/download/2.18/pandoc-2.18-1-amd64.deb -O /tmp/pandoc.deb
+          sudo dpkg -i /tmp/pandoc.deb
+      - name: 'Checkout code and set up web build'
+        uses: actions/checkout@v3
+        with:
+          submodules: recursive
+          path: gh-pages
+          token: ${{ secrets.JENKINS_GITHUB_PAT }}
+          fetch-depth: 0
+      - working-directory: gh-pages
+        run: |
+          git config --global user.name rv-jenkins
+          git config --global user.email devops@runtimeverification.com
+          git checkout --orphan gh-pages origin/master
+      - name: 'Build webpage'
+        working-directory: gh-pages
+        run: |
+          export PATH="$PATH":/opt/calibre
+          cd web
+          npm install
+          npm run build
+          npm run build-book
+          npm run build-sitemap
+          cd -
+          mv web/public_content ./
+          rm -rf $(find . -maxdepth 1 -not -name public_content -a -not -name .git -a -not -path . -a -not -path .. -a -not -name CNAME)
+          mv public_content/* ./
+          rm -rf public_content
+
   compile-nix-flake:
     name: 'Nix flake'
     strategy: