commit a318ff3d071cdff0e324f129ced3afa67f72e314 parent 9436bab829f901deafdadc443193a7baaba40321 Author: Raymond Li <hi@raymond.li> Date: Mon, 25 Jan 2021 22:57:33 -0500 CodeQL scan merge commit instead of PR head Removes runtime warning Diffstat:
| M | .github/workflows/codeql-analysis.yml | | | 5 | +++-- |
1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/.github/workflows/codeql-analysis.yml b/.github/workflows/codeql-analysis.yml @@ -38,8 +38,9 @@ jobs: # If this run was triggered by a pull request event, then checkout # the head of the pull request instead of the merge commit. - - run: git checkout HEAD^2 - if: ${{ github.event_name == 'pull_request' }} + # CodeQL apparently deprecated this feature and now warns on running this command + # - run: git checkout HEAD^2 + # if: ${{ github.event_name == 'pull_request' }} # Initializes the CodeQL tools for scanning. - name: Initialize CodeQL