From 825424512dca9abdf3ad390dbb8bb538361d2744 Mon Sep 17 00:00:00 2001
From: Thibault Simonetto <thibault.simonetto.001@student.uni.lu>
Date: Tue, 13 Aug 2024 20:11:46 +0200
Subject: [PATCH] Update jekyll-gh-pages.yml

---
 .github/workflows/jekyll-gh-pages.yml | 41 +++++++++++++++++++++++----
 1 file changed, 35 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/jekyll-gh-pages.yml b/.github/workflows/jekyll-gh-pages.yml
index 909d330..47771dd 100644
--- a/.github/workflows/jekyll-gh-pages.yml
+++ b/.github/workflows/jekyll-gh-pages.yml
@@ -3,8 +3,8 @@ name: Deploy Jekyll with GitHub Pages dependencies preinstalled
 
 on:
   # Runs on pushes targeting the default branch
-  push:
-    branches: ["main"]
+  # push:
+  #   branches: ["main"]
 
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:
@@ -35,17 +35,46 @@ jobs:
         with:
           source: ./docs
           destination: ./_site
-      - name: Upload artifact
-        uses: actions/upload-pages-artifact@v3
-
+      - name: Upload artifacts
+        uses: actions/upload-artifact@v4
+        with:
+          name: html-website
+          path: ./_site
+  docs:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v1
+    - uses: ammaraskar/sphinx-action@master
+      with:
+        docs-folder: "doc/"
+    - name: Upload artifacts
+      uses: actions/upload-artifact@v4
+      with:
+        name: html-docs
+        path: doc/build/html/
+      
   # Deployment job
   deploy:
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}
     runs-on: ubuntu-latest
-    needs: build
+    needs: 
+      - build
+      - docs
     steps:
+      - name: Download website
+        uses: actions/download-artifact@v4
+        with:
+          name: html-website
+          path: ./_site
+      - name: Download website
+        uses: actions/download-artifact@v4
+        with:
+          name: html-docs
+          path: ./_site/doc
+      - name: Upload artifact
+        uses: actions/upload-pages-artifact@v4
       - name: Deploy to GitHub Pages
         id: deployment
         uses: actions/deploy-pages@v4