Define shell

runtimeverification · Mar 12, 2024 · fdc7fdf · fdc7fdf
1 parent d0fb955
commit fdc7fdf
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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