[HOTFIX] Github Pages actions fix

ugr-sail · Sep 19, 2024 · 424568b · 424568b
1 parent 4d0df14
commit 424568b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/.github/workflows/merge_pr.yml b/.github/workflows/merge_pr.yml
@@ -76,6 +76,9 @@ jobs:
           personal_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: docs/compilation
           publish_branch: github-pages
+          destination_dir: docs/compilation
+          user_name: 'github-actions[bot]'
+          user_email: 'github-actions[bot]@users.noreply.github.com'
           keep_files: false
 
   tests:

diff --git a/docs/source/conf.py b/docs/source/conf.py
@@ -116,7 +116,7 @@
 html_sidebars = {'**': ['globaltoc.html',
                         'relations.html',
                         'sourcelink.html',
-                        'searchbox.html']}
+                        'searchbox.html'],}
 
 # disable nbsphinx errors to suppres imports checks not working
 nbsphinx_allow_errors = True