Merge branch 'ci' of github.com:au-ts/sel4_profiler into ci

.github/workflows/ci.yaml

@@ -3,13 +3,17 @@ name: CI
 on:
   pull_request:
   push:
-    branches: ["main"]
+    branches:
+      - main
+      - ci
 
 jobs:
   build_profiler_example_linux_x86_64:
     name: Build example (Linux x86-64)
     runs-on: ubuntu-20.04
     steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
       - name: Download Microkit SDK
         run: ./ci/acquire_sdk.sh microkit-sdk.zip ${{ secrets.GITHUB_TOKEN }} linux-x86-64
         shell: bash
@@ -31,9 +35,13 @@ jobs:
     name: Build/test toperf (Linux x86-64)
     runs-on: ubuntu-20.04
     steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
       - name: Install Rust
         run: curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y
       - name: Build toperf
-        run: cargo build --manifest-path=./toperf/Cargo.toml
+        run: |
+          cd ./toperf/
+          cargo build
       - name: Test run
         run: ./ci/test_toperf.sh