From f5c88bb34db5148da479915ea4097a12de5507c1 Mon Sep 17 00:00:00 2001 From: Nicolas Date: Sat, 27 Dec 2025 16:40:40 +0100 Subject: [PATCH] Missing Upload artifact for github-pages added --- .github/workflows/ci.yml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 8002fc6..413d033 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -339,6 +339,11 @@ jobs: make html touch build/html/.nojekyll + - name: Upload artifact + uses: actions/upload-pages-artifact@v3 + with: + path: docs/build/html + deploy-docs: if: github.ref == 'refs/heads/main' && github.event_name == 'push' needs: build-docs