CI: the seL4/machine_queue repo is public now

Signed-off-by: Axel Heider <[email protected]>
axel-h · Jan 27, 2024 · 2344ef6 · 2344ef6
1 parent 35e902b
commit 2344ef6
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/camkes-vm-deploy.yml b/.github/workflows/camkes-vm-deploy.yml
@@ -68,7 +68,6 @@ jobs:
         with:
           repository: seL4/machine_queue
           path: machine_queue
-          token: ${{ secrets.PRIV_REPO_TOKEN }}
       - name: Download image
         uses: actions/download-artifact@v3
         with: