diff options
author | XhmikosR <xhmikosr@gmail.com> | 2020-12-15 10:14:03 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-15 10:14:03 +0300 |
commit | c3e8a0ef2aca85b57903bca0bd22c74a8379e37e (patch) | |
tree | 6ac5d02ee3b96a8211f7a13747a221f4c8dfdbce /.github | |
parent | e1f561b53cb2396efb2bfcf1265591db5b9071a7 (diff) |
Update CodeQL Action (#32452)
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/codeql.yml | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index f9dccfce03..469a5a4fc4 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -22,15 +22,6 @@ jobs: steps: - name: Checkout repository uses: actions/checkout@v2 - with: - # We must fetch at least the immediate parents so that if this is - # a pull request then we can checkout the head. - fetch-depth: 2 - - # 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' }} # Initializes the CodeQL tools for scanning. - name: Initialize CodeQL |