CI: the seL4/machine_queue repo is public now

Signed-off-by: Axel Heider <[email protected]>
seL4 · Jan 30, 2024 · a9b4583 · a9b4583
1 parent b3e73a5
commit a9b4583
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -69,7 +69,6 @@ jobs:
         with:
           repository: seL4/machine_queue
           path: machine_queue
-          token: ${{ secrets.PRIV_REPO_TOKEN }}
       - name: Download image
         uses: actions/download-artifact@v4
         with: