From baa936439df48fc6f42925a5efc62bb0fc797d46 Mon Sep 17 00:00:00 2001
From: Eric Huss <eric@huss.org>
Date: Sun, 16 Jul 2023 16:40:11 -0700
Subject: [PATCH] deploy: Set the default shell so it doesn't need to be
 repeated.

---
 .github/workflows/deploy.yml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index 44de7773..af538808 100644
--- a/.github/workflows/deploy.yml
+++ b/.github/workflows/deploy.yml
@@ -3,6 +3,10 @@ on:
   release:
     types: [created]
 
+defaults:
+  run:
+    shell: bash
+
 jobs:
   release:
     name: Deploy Release
@@ -30,15 +34,12 @@ jobs:
     - uses: actions/checkout@master
     - name: Install hub
       run: ci/install-hub.sh ${{ matrix.os }}
-      shell: bash
     - name: Install Rust
       run: ci/install-rust.sh stable ${{ matrix.target }}
-      shell: bash
     - name: Build and deploy artifacts
       env:
         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
       run: ci/make-release-asset.sh ${{ matrix.os }} ${{ matrix.target }}
-      shell: bash
   pages:
     name: GitHub Pages
     runs-on: ubuntu-latest