ci: fix

Signed-off-by: Ivan-Velickovic <[email protected]>
au-ts · Jan 9, 2025 · 377244c · 377244c
1 parent d41bc23
commit 377244c
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/examples.yaml b/.github/workflows/examples.yaml
@@ -23,7 +23,7 @@ jobs:
           wget https://trustworthy.systems/Downloads/microkit/microkit-sdk-1.4.1-dev.54+a8b7894-linux-x86-64.tar.gz
           tar xf microkit-sdk-1.4.1-dev.54+a8b7894-linux-x86-64.tar.gz
       - name: Install dependencies (via apt)
-        run: sudo apt update && sudo apt install -y make llvm lld imagemagick
+        run: sudo apt update && sudo apt install -y make llvm lld imagemagick device-tree-compiler
       - name: Download and install AArch64 GCC toolchain
         run: |
           wget -O aarch64-toolchain.tar.xz https://trustworthy.systems/Downloads/microkit/arm-gnu-toolchain-12.3.rel1-x86_64-aarch64-none-elf.tar.xz
@@ -33,6 +33,8 @@ jobs:
         uses: mlugg/[email protected]
         with:
           version: 0.13.0
+      - name: Install Python dependencies
+        run: pip3 install -i https://test.pypi.org/simple/ sdfgen
       - name: Build and run examples
         run: ./ci/examples.sh ${PWD}/microkit-sdk-1.4.1-dev.54+a8b7894-linux-x86-64
         shell: bash
@@ -65,6 +67,8 @@ jobs:
         uses: mlugg/[email protected]
         with:
           version: 0.13.0
+      - name: Install Python dependencies
+        run: pip3 install -i https://test.pypi.org/simple/ sdfgen
       - name: Download and install AArch64 GCC toolchain
         run: |
           wget -O aarch64-toolchain.tar.xz https://trustworthy.systems/Downloads/microkit/arm-gnu-toolchain-12.3.rel1-darwin-arm64-aarch64-none-elf.tar.xz