People are supposed to interpret Bach, not vice versa :D

smithy-lang · Aug 21, 2024 · 715d017 · 715d017
1 parent dde0236
commit 715d017
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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