diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index cbff2fa1..96a47e40 100644
--- 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