Fix default branch reference in GitHub Actions definition (#278)

PicnicSupermarket · Oct 5, 2022 · f4e191e · f4e191e
1 parent c4e476a
commit f4e191e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -2,7 +2,7 @@ name: Build and verify
 on:
   pull_request:
   push:
-    branches: [$default-branch]
+    branches: [ master ]
 permissions:
   contents: read
 jobs:

diff --git a/.github/workflows/deploy-website.yaml b/.github/workflows/deploy-website.yaml
@@ -2,7 +2,7 @@ name: Update `error-prone.picnic.tech` website content
 on:
   pull_request:
   push:
-    branches: [$default-branch]
+    branches: [ master ]
 permissions:
   contents: read
   id-token: write
@@ -33,7 +33,7 @@ jobs:
       - name: Upload website as artifact
         uses: actions/[email protected]
   deploy:
-    if: github.ref == format('refs/heads/{0}', github.event.repository.default_branch)
+    if: github.ref == 'refs/heads/master'
     needs: build
     runs-on: ubuntu-22.04
     environment: