ci: temporarily clone fork of rust-seL4

Once the changes to rust-seL4 that are needed by the VMM are up-streamed then we can remove this step.
au-ts · Sep 23, 2023 · 49ab946 · 49ab946
1 parent 58f0a9d
commit 49ab946
Showing 1 changed file with 24 additions and 0 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -44,6 +44,12 @@ jobs:
           echo "${PWD}/zig-linux-x86_64-0.11.0/:$PATH" >> $GITHUB_PATH
       - name: Install Rust
         run: curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y
+      - name: Checkout rust-seL4 project (temporary step)
+        uses: actions/checkout@v3
+        with:
+          repository: Ivan-Velickovic/rust-seL4
+          ref: dev
+          path: examples/rust
       - name: Build and run VMM examples
         run: ./ci/examples.sh ${PWD}/sel4cp-sdk-1.2.6
         shell: bash
@@ -75,6 +81,12 @@ jobs:
           echo "${PWD}/zig-macos-x86_64-0.11.0/:$PATH" >> $GITHUB_PATH
       - name: Install Rust
         run: curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y
+      - name: Checkout rust-seL4 project (temporary step)
+        uses: actions/checkout@v3
+        with:
+          repository: Ivan-Velickovic/rust-seL4
+          ref: dev
+          path: examples/rust
       - name: Build and run VMM examples
         run: ./ci/examples.sh ${PWD}/sel4cp-sdk-1.2.6
         shell: bash
@@ -97,6 +109,12 @@ jobs:
         uses: cachix/install-nix-action@v22
         with:
           nix_path: nixpkgs=channel:nixos-unstable
+      - name: Checkout rust-seL4 project (temporary step)
+        uses: actions/checkout@v3
+        with:
+          repository: Ivan-Velickovic/rust-seL4
+          ref: dev
+          path: examples/rust
       - 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
@@ -118,6 +136,12 @@ jobs:
         uses: cachix/install-nix-action@v22
         with:
           nix_path: nixpkgs=channel:nixos-unstable
+      - name: Checkout rust-seL4 project (temporary step)
+        uses: actions/checkout@v3
+        with:
+          repository: Ivan-Velickovic/rust-seL4
+          ref: dev
+          path: examples/rust
       - 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