From 2344ef63a8ba5b37d79d269750d78c4dfb4e4fa1 Mon Sep 17 00:00:00 2001
From: Axel Heider <axelheider@gmx.de>
Date: Sat, 27 Jan 2024 05:59:26 +0100
Subject: [PATCH] CI: the seL4/machine_queue repo is public now

Signed-off-by: Axel Heider <axelheider@gmx.de>
---
 .github/workflows/camkes-vm-deploy.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/camkes-vm-deploy.yml b/.github/workflows/camkes-vm-deploy.yml
index f0c6de0d..43b4d63a 100644
--- 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: