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