CI: the seL4/machine_queue repo is public now

Signed-off-by: Axel Heider <[email protected]>
Hensoldt-Cyber · Apr 4, 2024 · 7450983 · 7450983
1 parent 2b96ef9
commit 7450983
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/.github/workflows/sel4bench-pr.yml b/.github/workflows/sel4bench-pr.yml
@@ -86,7 +86,6 @@ jobs:
         with:
           repository: seL4/machine_queue
           path: machine_queue
-          token: ${{ secrets.PRIV_REPO_TOKEN }}
       - name: Get march
         id: plat
         uses: seL4/ci-actions/march-of-platform@master

diff --git a/.github/workflows/sel4bench.yml b/.github/workflows/sel4bench.yml
@@ -82,7 +82,6 @@ jobs:
         with:
           repository: seL4/machine_queue
           path: machine_queue
-          token: ${{ secrets.PRIV_REPO_TOKEN }}
       - name: Get march
         id: plat
         uses: seL4/ci-actions/march-of-platform@master