CI: the seL4/machine_queue repo is public now

Signed-off-by: Axel Heider <axelheider@gmx.de>
seL4 · Mar 5, 2024 · ff379cf · ff379cf
1 parent b8f2a8e
commit ff379cf
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/sel4test-hw.yml b/.github/workflows/sel4test-hw.yml
@@ -80,7 +80,6 @@ jobs:
         with:
           repository: seL4/machine_queue
           path: machine_queue
-          token: ${{ secrets.PRIV_REPO_TOKEN }}
       - name: Download image
         uses: actions/download-artifact@v4
         with: