From 715d017400e35151489c8ac8fb5e96f8bbe1cdc7 Mon Sep 17 00:00:00 2001
From: Robin Salkeld <salkeldr@amazon.com>
Date: Wed, 21 Aug 2024 09:18:35 -0700
Subject: [PATCH] People are supposed to interpret Bach, not vice versa :D

---
 .github/actions/build_dafny_from_source/action.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/actions/build_dafny_from_source/action.yml b/.github/actions/build_dafny_from_source/action.yml
index ae42c408b..cd8d2c9cc 100644
--- a/.github/actions/build_dafny_from_source/action.yml
+++ b/.github/actions/build_dafny_from_source/action.yml
@@ -57,7 +57,7 @@ runs:
     # update the copy of the Rust runtime we have inside TestModels
     # (since it's not published yet)
     - name: Update dafny_runtime_rust
-      shell: bach
+      shell: bash
       run: |
         rm -rf TestModels/dafny-dependencies/dafny_runtime_rust
         cp dafny/Source/DafnyRuntime/DafnyRuntimeRust TestModels/dafny-dependencies/dafny_runtime_rust