chore: add master branch to doc generation workflow

opengeospatial · Oct 31, 2023 · e0b86b7 · e0b86b7
1 parent 20d1a6a
commit e0b86b7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
@@ -2,7 +2,7 @@ name: generate
 
 on:
   push:
-    branches: [ main ]
+    branches: [ main, master ]
   pull_request:
   workflow_dispatch:
 
@@ -33,7 +33,7 @@ jobs:
           agree-to-terms: true
           token: ${{ secrets.GITHUB_TOKEN }}
   deploy:
-    if: ${{ github.ref == 'refs/heads/main' }}
+    if: github.ref == github.event.repository.default_branch
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}