From f237e8b567f91bef2aff84dbbf1c7980c117e2df Mon Sep 17 00:00:00 2001 From: Axel Heider Date: Mon, 18 Mar 2024 17:05:50 +0000 Subject: [PATCH] CI: the seL4/machine_queue repo is public now Signed-off-by: Axel Heider --- .github/workflows/sel4bench-pr.yml | 1 - .github/workflows/sel4bench.yml | 1 - 2 files changed, 2 deletions(-) diff --git a/.github/workflows/sel4bench-pr.yml b/.github/workflows/sel4bench-pr.yml index b6180b62..5f48537f 100644 --- 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 index b01a30d7..22c4fcb6 100644 --- 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