File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change 8181 - name : Checkout external help files
8282 id : checkout-external-help-files
8383 # 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]' }}
8585 uses : actions/checkout@v4
8686 with :
8787 ssh-key : ${{ secrets.CODEQL_CODING_STANDARDS_HELP_KEY }}
9090 path : external-help-files
9191
9292 - 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' }}
9494 run : |
9595 pushd external-help-files
9696 find . -name '*.md' -exec rsync -av --relative {} "$GITHUB_WORKSPACE" \;
You can’t perform that action at this time.
0 commit comments