Self-host documentation

.github/workflows/documentation.yml

@@ -4,7 +4,7 @@ permissions: read-all
 # Trigger for PR or merge to develop branch
 on:
   push:
-    branches: develop
+    branches: romain/docs
     paths:
       - 'docs/**'
   pull_request:
@@ -14,7 +14,7 @@ on:
 
 jobs:
   build:
-    runs-on: ubuntu-latest
+    runs-on: self-hosted
     steps:
     - uses: actions/checkout@44c2b7a8a4ea60a981eaca3cf939b5f4305c123b # v4.1.5
     - uses: actions/setup-python@82c7e631bb3cdc910f68e0081d67478d79c6982d # v5.1.0
@@ -34,8 +34,11 @@ jobs:
 
   publish:
     needs: build
-    if: github.event_name == 'workflow_dispatch' || github.event_name == 'push' && github.ref == 'refs/heads/develop'
-    runs-on: ubuntu-latest
+    if: github.event_name == 'workflow_dispatch' || github.event_name == 'push' && github.ref == 'refs/heads/romain/docs'
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    runs-on: self-hosted
     permissions:
       contents: write
     steps:
@@ -58,3 +61,13 @@ jobs:
         git config --global user.email [email protected]
         git commit -m "Update documentation"
         git push --force origin gh-pages
+    - name: Setup Pages
+      uses: actions/configure-pages@v5
+    - name: Upload artifact
+      uses: actions/upload-pages-artifact@v3
+      with:
+        # Upload entire repository
+        path: '.'
+    - name: Deploy to GitHub Pages
+      id: deployment
+      uses: actions/deploy-pages@v4