diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index a7e9e5ad..356d0072 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -96,7 +96,7 @@ jobs:
     - uses: actions/checkout@v4.1.7
     - uses: actions/configure-pages@v5
     - name: Build GitHub Pages site
-      run: ./tools/build-github-pages.sh build
+      run: ./tools/build-github-pages.sh build --finalversion
     - name: Upload GitHub Pages artifact
       uses: actions/upload-pages-artifact@v3
       with: