hopefully final fix for ci

au-ts · Apr 17, 2024 · 7761b25 · 7761b25
1 parent 3f61a6f
commit 7761b25
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -30,10 +30,10 @@ jobs:
           tar xf aarch64-toolchain.tar.gz
           echo "$(pwd)/arm-gnu-toolchain-11.3.rel1-x86_64-aarch64-none-elf/bin" >> $GITHUB_PATH
       - name: Build example
-        shell: bash
         run: |
           git submodule update --init --recursive
           ./ci/example.sh ${PWD}/microkit-sdk-1.2.6
+        shell: bash
   build_test_toperf_linux_x86_64:
     name: Build/test toperf (Linux x86-64)
     runs-on: ubuntu-20.04