ci: update docs ci

centre-for-humanities-computing · Oct 10, 2023 · 77da5dc · 77da5dc
1 parent 2c3d5e3
commit 77da5dc
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
@@ -15,6 +15,7 @@ jobs:
         uses: actions/checkout@v3
         with:
           fetch-depth: 0 # otherwise, you will failed to push refs to dest repo
+          token: ${{ secrets.DOCUMENTATION }}
 
       - name: Install dependencies
         shell: bash
@@ -33,6 +34,7 @@ jobs:
         uses: sphinx-notes/[email protected]
         with:
           documentation_path: docs
+          sphinx_version: "5.3.0"
 
       - name: Push changes
         if: ${{ github.event_name == 'push' }}