Try with bash

jaisnan · Jul 30, 2024 · f35e6fa · f35e6fa
1 parent 038f91f
commit f35e6fa
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
@@ -34,4 +34,4 @@ jobs:
           submodules: true
 
       - name: Run Kani Script
-        run: ${{ github.workspace }}/scripts/check_kani.sh ./verify-rust-std/
+        run: bash ${{ github.workspace }}/scripts/check_kani.sh ./verify-rust-std/
diff --git a/.github/workflows/rustc.yml b/.github/workflows/rustc.yml
@@ -30,4 +30,4 @@ jobs:
           path: head
 
       - name: Run rustc script
-        run: ${{ github.workspace }}/scripts/check_rustc.sh ./head
+        run: bash ${{ github.workspace }}/scripts/check_rustc.sh ./head