From 20ed49b8ddcd880efb5445c3db2d798e9828f978 Mon Sep 17 00:00:00 2001
From: Florian Duros <florian.duros@ormaz.fr>
Date: Thu, 6 Jun 2024 15:49:45 +0200
Subject: [PATCH] Put develop branch back and enable deployment

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

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 4a0265320f0..e495e87eaad 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -2,7 +2,7 @@ name: Deploy documentation
 
 on:
     push:
-        branches: [florianduros/fix/ci-docs]
+        branches: [develop]
     workflow_dispatch: {}
 
 permissions:
@@ -98,18 +98,18 @@ jobs:
             - name: Build docs
               run: mdbook build
 
-#            - name: Upload artifact
-#              uses: actions/upload-pages-artifact@v3
-#              with:
-#                  path: ./book
-
-#    deploy:
-#        environment:
-#            name: github-pages
-#            url: ${{ steps.deployment.outputs.page_url }}
-#        runs-on: ubuntu-latest
-#        needs: build
-#        steps:
-#            - name: Deploy to GitHub Pages
-#              id: deployment
-#              uses: actions/deploy-pages@v4
+            - name: Upload artifact
+              uses: actions/upload-pages-artifact@v3
+              with:
+                  path: ./book
+
+    deploy:
+        environment:
+            name: github-pages
+            url: ${{ steps.deployment.outputs.page_url }}
+        runs-on: ubuntu-latest
+        needs: build
+        steps:
+            - name: Deploy to GitHub Pages
+              id: deployment
+              uses: actions/deploy-pages@v4