Let's use BASH rather than sh, eh?

firedrakeproject · Nov 14, 2024 · 8c1ed82 · 8c1ed82
1 parent d380774
commit 8c1ed82
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/pip.yml b/.github/workflows/pip.yml
@@ -24,6 +24,7 @@ jobs:
       options: --user root
     defaults:
       run:
+        shell: bash
         working-directory: /home/firedrake
     strategy:
       # Don't immediately kill real if complex fails and vice versa.