File tree Expand file tree Collapse file tree 1 file changed +3
-1
lines changed Expand file tree Collapse file tree 1 file changed +3
-1
lines changed Original file line number Diff line number Diff line change 8080
8181 - name : Checkout external help files
8282 id : checkout-external-help-files
83+ # PRs from forks and dependabot do not have access to an appropriate token for cloning the help files repos
84+ if : ${{ !github.event.pull_request.head.repo.fork && github.actor != 'dependabot[bot]' }}
8385 uses : actions/checkout@v4
8486 with :
8587 ssh-key : ${{ secrets.CODEQL_CODING_STANDARDS_HELP_KEY }}
8890 path : external-help-files
8991
9092 - name : Include external help files
91- if : steps.checkout-external-help-files.outcome == 'success'
93+ if : ${{ !github.event.pull_request.head.repo.fork && github.actor != 'dependabot[bot]'&& steps.checkout-external-help-files.outcome == 'success' }}
9294 run : |
9395 pushd external-help-files
9496 find . -name '*.md' -exec rsync -av --relative {} "$GITHUB_WORKSPACE" \;
You can’t perform that action at this time.
0 commit comments