s/master/main in sphinx action

ENCCS · Apr 29, 2023 · d23d263 · d23d263
1 parent a33f398
commit d23d263
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/sphinx.yml b/.github/workflows/sphinx.yml
@@ -67,7 +67,7 @@ jobs:
       # If a push and master, copy build to _gh-pages/ as the "main"
       # deployment.
       - name: Copy new build (master)
-        if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/master' }}
+        if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
         run: |
           set -x
           # Delete everything under _gh-pages/ that is from the
@@ -79,7 +79,7 @@ jobs:
       # If a push and not on master, then copy the build to
       # _gh-pages/branch/$brname (transforming '/' into '--')
       - name: Copy new build (branch)
-        if: ${{ github.event_name == 'push' && github.ref != 'refs/heads/master' }}
+        if: ${{ github.event_name == 'push' && github.ref != 'refs/heads/main' }}
         run: |
           set -x
           #brname=$(git rev-parse --abbrev-ref HEAD)
@@ -107,7 +107,7 @@ jobs:
       - name: Deploy
         uses: peaceiris/actions-gh-pages@v3
         if: ${{ github.event_name == 'push' }}
-        #if: ${{ success() && github.event_name == 'push' && github.ref == 'refs/heads/master' }}
+        #if: ${{ success() && github.event_name == 'push' && github.ref == 'refs/heads/main' }}
         with:
           publish_branch: gh-pages
           github_token: ${{ secrets.GITHUB_TOKEN }}