From eb1741ade95544d9c6fe170d97d1130ed759fa57 Mon Sep 17 00:00:00 2001
From: Hansung Kim <hansung_kim@berkeley.edu>
Date: Mon, 23 Oct 2023 09:02:12 -0700
Subject: [PATCH] [ci] Add missing shell:

---
 .github/actions/prepare-rtl/action.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/actions/prepare-rtl/action.yml b/.github/actions/prepare-rtl/action.yml
index 1a3463e8..bbd8d56f 100644
--- a/.github/actions/prepare-rtl/action.yml
+++ b/.github/actions/prepare-rtl/action.yml
@@ -24,6 +24,7 @@ runs:
     - name: cd into remote
       run: |
         cd "${{ env.REMOTE_WORK_DIR }}"
+      shell: bash -leo pipefail {0}
 
     - uses: actions/cache@v3
       id: rtl-build-id