GitHub CI: Create artifact of the generated documentation (#557)

kokkos · Jul 30, 2024 · 9def7aa · 9def7aa
1 parent 3a74e28
commit 9def7aa
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/deploy_docs.yml b/.github/workflows/deploy_docs.yml
@@ -26,6 +26,11 @@ jobs:
         working-directory: ${{ env.docs-directory }}
         run: |
           make html
+      - name: Archive documentation
+        uses: actions/upload-artifact@v4
+        with:
+          name: documentation.tar.gz
+          path: ${{ env.docs-directory }}/generated_docs
       # .nojekyll file is needed for GitHub Pages to know it's getting a ready webpage
       # and there is no need to generate anything
       - name: Generate nojekyll file