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