From fdc7fdf5fd0f7c59c60efe76aa81b9cb625aec1d Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 11 Mar 2024 21:15:12 -0600
Subject: [PATCH] Define shell

---
 .github/workflows/optimism-ci.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/optimism-ci.yaml b/.github/workflows/optimism-ci.yaml
index 58bd4cd..1c5a797 100644
--- a/.github/workflows/optimism-ci.yaml
+++ b/.github/workflows/optimism-ci.yaml
@@ -38,6 +38,7 @@ jobs:
           submodules: 'recursive'
  
       - name: 'Run Kontrol'
+        shell: bash
         run: |
           # Run the following in the running docker container
           pushd optimism > /dev/null