ci: fixes for Nix check

Signed-off-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
au-ts · Nov 12, 2024 · 5829893 · 5829893
1 parent 7634d1b
commit 5829893
Showing 1 changed file with 1 addition and 7 deletions.
diff --git a/.github/workflows/examples.yaml b/.github/workflows/examples.yaml
@@ -42,16 +42,10 @@ jobs:
     steps:
       - name: Checkout repository
         uses: actions/checkout@v4
-      - name: Download Microkit SDK
-        run: |
-          wget https://github.com/seL4/microkit/releases/download/1.4.1/microkit-sdk-1.4.1-linux-x86-64.tar.gz
-          tar xf microkit-sdk-1.4.1-linux-x86-64.tar.gz
       - name: Setup Nix
         uses: cachix/install-nix-action@v27
-      - name: Check flake
-        run: nix flake check
       - name: Build and run examples
-        run: nix develop -c bash -c "./ci/examples.sh ${PWD}/microkit-sdk-1.4.1"
+        run: nix develop -c bash -c './ci/examples.sh $MICROKIT_SDK'
         shell: bash
   build_macos_arm64:
     name: macOS ARM64