From 56dea80426e81398d95b738787850cce7357d30b Mon Sep 17 00:00:00 2001
From: Mattia Almansi <m.almansi@bopen.eu>
Date: Wed, 24 May 2023 09:16:35 +0200
Subject: [PATCH] deploy documentation

---
 .github/workflows/on-push.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/on-push.yml b/.github/workflows/on-push.yml
index baa983ef..c4f44668 100644
--- a/.github/workflows/on-push.yml
+++ b/.github/workflows/on-push.yml
@@ -129,3 +129,9 @@ jobs:
     - name: Build documentation
       run: |
         make docs-build
+    - name: Deploy documentation
+      if: github.ref == 'refs/heads/main'
+      uses: peaceiris/actions-gh-pages@v3
+      with:
+        github_token: ${{ secrets.GITHUB_TOKEN }}
+        publish_dir: ./docs/_build/html