get all submodules when building example

au-ts · Apr 17, 2024 · 6529510 · 6529510
1 parent 36b76ae
commit 6529510
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -14,6 +14,7 @@ jobs:
     steps:
       - name: Checkout repository
         uses: actions/checkout@v4
+        run: git
       - name: Download Microkit SDK
         run: ./ci/acquire_sdk.sh microkit-sdk.zip ${{ secrets.GITHUB_TOKEN }} linux-x86-64
         shell: bash
@@ -29,8 +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
-        run: ./ci/example.sh ${PWD}/microkit-sdk-1.2.6
         shell: bash
+        run: |
+        git submodule update --init --recursive
+        ./ci/example.sh ${PWD}/microkit-sdk-1.2.6
   build_test_toperf_linux_x86_64:
     name: Build/test toperf (Linux x86-64)
     runs-on: ubuntu-20.04