File tree 1 file changed +3
-1
lines changed
1 file changed +3
-1
lines changed Original file line number Diff line number Diff line change 80
80
81
81
- name : Checkout external help files
82
82
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]' }}
83
85
uses : actions/checkout@v4
84
86
with :
85
87
ssh-key : ${{ secrets.CODEQL_CODING_STANDARDS_HELP_KEY }}
88
90
path : external-help-files
89
91
90
92
- 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' }}
92
94
run : |
93
95
pushd external-help-files
94
96
find . -name '*.md' -exec rsync -av --relative {} "$GITHUB_WORKSPACE" \;
You can’t perform that action at this time.
0 commit comments