Checkout develop in case of PR ref

AP6YC · Jun 6, 2024 · 78ac8d1 · 78ac8d1
1 parent 9e3772e
commit 78ac8d1
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/Documentation.yml b/.github/workflows/Documentation.yml
@@ -30,7 +30,8 @@ jobs:
         run: |
           git fetch --all
           # git pull --all
-          git checkout ${{ github.ref }}
+          # git checkout ${{ github.ref }}
+          git checkout develop
           cd docs
           # make html
           sphinx-multiversion source build/html