changed branch to 4.0-devel in github action

ADVRHumanoids · Jul 26, 2024 · 96fc2f9 · 96fc2f9
1 parent cb46fb1
commit 96fc2f9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/sphinx.yml b/.github/workflows/sphinx.yml
@@ -26,7 +26,7 @@ jobs:
         path: docs/build/html/
     - name: Sphinx:Deploy
       uses: peaceiris/actions-gh-pages@v3
-      if: github.ref == 'refs/heads/devel'
+      if: github.ref == 'refs/heads/4.0-devel'
       with:
         github_token: ${{ secrets.GITHUB_TOKEN }}
         publish_dir: docs/build/html