From 55df18ab1c407b62e002517ca34f06a7dffedb7f Mon Sep 17 00:00:00 2001
From: Guillaume Fraux <guillaume.fraux@epfl.ch>
Date: Tue, 19 Nov 2024 14:37:19 +0100
Subject: [PATCH] Put pre-built documentation in artifacts

---
 .github/workflows/docs.yml | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 86092364c..9a8889ed7 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -14,6 +14,8 @@ concurrency:
 jobs:
   build-and-publish:
     runs-on: ubuntu-22.04
+    permissions:
+      contents: write
     steps:
       - name: free disk space
         run: sudo rm -rf /usr/share/dotnet /usr/local/lib/android || true
@@ -41,6 +43,13 @@ jobs:
           # Use the CPU only version of torch when building/running the code
           PIP_EXTRA_INDEX_URL: https://download.pytorch.org/whl/cpu
 
+      - name: store documentation as github artifact to be downloaded by users
+        uses: actions/upload-artifact@v4
+        with:
+          name: docs
+          path: docs/build/html/*
+          overwrite: true  # only keep the latest version of the documentation
+
       - name: put documentation in the website
         run: |
           git clone https://github.com/$GITHUB_REPOSITORY --branch gh-pages gh-pages