From 746c1377e188a1266f08df7b5f429f3ff0d9a178 Mon Sep 17 00:00:00 2001
From: Florian Loitsch <florian@toit.io>
Date: Fri, 24 May 2024 20:52:59 +0200
Subject: [PATCH] shell-bash

---
 .github/workflows/build.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 6e63341..0029b2c 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -231,6 +231,7 @@ jobs:
           echo "TOIT_GIT_VERSION=${{ github.event.inputs.toit-version }}" >> $GITHUB_ENV
 
       - name: Fetch the Toit repository
+        shell: bash
         run: |
           # We allow the workflow dispatch to override the checked out branch.
           # Note that we set the TOIT_GIT_VERSION env variable. The checked out branch