Simplify deploy-to-production workflow

janbrasna · May 25, 2024 · 5b0c9d0 · 5b0c9d0
1 parent 55afd5c
commit 5b0c9d0
Showing 1 changed file with 5 additions and 9 deletions.
diff --git a/.github/workflows/deploy-to-production.yml b/.github/workflows/deploy-to-production.yml
@@ -1,23 +1,19 @@
 name: deploy-to-production
 
 on:
+  workflow_dispatch: # allow manual runs
   push:
-    branches: ["master"]
-  # Allows workflow run manually from Actions tab:
-  workflow_dispatch:
+    branches:
+      - master
 
 permissions:
   contents: read
   pages: write
   id-token: write
 
 concurrency:
-  group: "pages"
-  cancel-in-progress: false
-
-defaults:
-  run:
-    shell: bash
+  group: github-pages
+  cancel-in-progress: false # skip any intermediate builds but let finish
 
 jobs:
   build: