Update treadmill-ci.yml

.github/workflows/treadmill-ci.yml

@@ -79,6 +79,8 @@ jobs:
 
       # - uses: actions/checkout@v4
       #   with:
+      #     repository: tock/tock
+      #     ref: ${{ inputs.tock-kernel-ref }}
       #     path: tock
 
       # - name: Analyze changes and determine types of tests to run
@@ -205,11 +207,26 @@ jobs:
         run: |
           echo "verbose = off" >> $HOME/.wgetrc
 
-      - uses: actions/checkout@v4
+      - name: Checkout the Tock Hardware CI scripts
+        uses: actions/checkout@v4
         with:
           repository: tock/tock-hardware-ci
           ref: ${{ inputs.tock-hardware-ci-ref }}
 
+      - name: Checkout the Tock kernel repository
+        uses: actions/checkout@v4
+        with:
+          path: tock
+          repository: tock/tock
+          ref: ${{ inputs.tock-kernel-ref }}
+
+      - name: Checkout the libtock-c repository
+        uses: actions/checkout@v4
+        with:
+          path: libtock-c
+          repository: tock/libtock-c
+          ref: ${{ inputs.libtock-c-ref }}
+
       - uses: actions-rust-lang/setup-rust-toolchain@v1
         with:
           # Avoid overwriting the RUSTFLAGS environment variable