From e5ee7fee2eb90f54f852c429dfc7d1902ae8880b Mon Sep 17 00:00:00 2001
From: Connor Ward <c.ward20@imperial.ac.uk>
Date: Thu, 28 Nov 2024 09:47:21 +0000
Subject: [PATCH] default to using zsh

---
 .github/workflows/build-mac.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build-mac.yml b/.github/workflows/build-mac.yml
index f2a3ecd5f5..6ba94f6275 100644
--- a/.github/workflows/build-mac.yml
+++ b/.github/workflows/build-mac.yml
@@ -18,10 +18,13 @@ concurrency:
 
 jobs:
   build:
-    name: Build Firedrake
+    name: Build Firedrake (macOS)
     runs-on: [self-hosted, macOS]
     # Only run this action if we are pushing to master or the PR is labelled "macOS"
     if: ${{ (github.ref == 'refs/heads/master') || contains(github.event.pull_request.labels.*.name, 'macOS') }}
+    defaults:
+      run:
+        shell: zsh
     env:
       FIREDRAKE_CI_TESTS: 1  # needed to symlink the checked out branch into the venv
       OMP_NUM_THREADS: 1