ci: fix path when cloning rust-seL4 repository

au-ts · Sep 23, 2023 · f4ec2e3 · f4ec2e3
1 parent 32baaf8
commit f4ec2e3
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -49,7 +49,7 @@ jobs:
         with:
           repository: Ivan-Velickovic/rust-seL4
           ref: dev
-          path: examples/rust
+          path: examples/rust/rust-seL4
       - name: Build and run VMM examples
         run: ./ci/examples.sh ${PWD}/sel4cp-sdk-1.2.6
         shell: bash
@@ -86,7 +86,7 @@ jobs:
         with:
           repository: Ivan-Velickovic/rust-seL4
           ref: dev
-          path: examples/rust
+          path: examples/rust/rust-seL4
       - name: Build and run VMM examples
         run: ./ci/examples.sh ${PWD}/sel4cp-sdk-1.2.6
         shell: bash
@@ -114,7 +114,7 @@ jobs:
         with:
           repository: Ivan-Velickovic/rust-seL4
           ref: dev
-          path: examples/rust
+          path: examples/rust/rust-seL4
       - name: Build and run VMM examples
         run: nix-shell --pure --run "./ci/examples.sh ${PWD}/sel4cp-sdk-1.2.6"
       - name: Upload built system images
@@ -141,7 +141,7 @@ jobs:
         with:
           repository: Ivan-Velickovic/rust-seL4
           ref: dev
-          path: examples/rust
+          path: examples/rust/rust-seL4
       - name: Build and run VMM examples
         run: nix-shell --pure --run "./ci/examples.sh ${PWD}/sel4cp-sdk-1.2.6"
       - name: Upload built system images