From b0c7393c6cbaff1547ad2ab86aa273dc017f5389 Mon Sep 17 00:00:00 2001 From: Rodolfo Wottrich Date: Tue, 25 Aug 2026 15:32:22 +0100 Subject: [PATCH] CI: fixup! Make webpage finalversion --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: