summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.github/actions/setup/directories/action.yml8
-rw-r--r--.github/workflows/check_misc.yml1
2 files changed, 8 insertions, 1 deletions
diff --git a/.github/actions/setup/directories/action.yml b/.github/actions/setup/directories/action.yml
index 7b9cec4627..745bfea8db 100644
--- a/.github/actions/setup/directories/action.yml
+++ b/.github/actions/setup/directories/action.yml
@@ -36,6 +36,12 @@ inputs:
description: >-
If set to true, creates dummy files in build dir.
+ token:
+ required: false
+ default: ''
+ description: >-
+ A GitHub token to checkout the repository
+
outputs: {} # nothing?
runs:
@@ -70,7 +76,7 @@ runs:
- uses: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9 # v3.5.3
with:
path: ${{ inputs.srcdir }}
- token: ${{ secrets.MATZBOT_GITHUB_TOKEN }}
+ token: ${{ inputs.token }}
- uses: actions/cache@88522ab9f39a2ea568f7027eddc7d8d8bc9d59c8 # v3.3.1
with:
diff --git a/.github/workflows/check_misc.yml b/.github/workflows/check_misc.yml
index b457e2d6e3..5ab174ef2c 100644
--- a/.github/workflows/check_misc.yml
+++ b/.github/workflows/check_misc.yml
@@ -23,6 +23,7 @@ jobs:
- uses: ./.github/actions/setup/directories
with:
makeup: true
+ token: ${{ secrets.MATZBOT_GITHUB_TOKEN }}
- name: Check if C-sources are US-ASCII
run: |