commit 5bdc1415663b2cb8e89ed7b89a453ed50004e75b parent 3115f877bc7a4c8fd3c04e0ecdc34d80c73844aa Author: Rolf Eike Beer <eike@sf-mail.de> Date: Thu, 1 Jul 2021 16:50:14 +0200 GitHub CodeQL: update CI instructions from upstream Diffstat:
| M | .github/workflows/codeql-analysis.yml | | | 9 | --------- |
1 file changed, 0 insertions(+), 9 deletions(-)
diff --git a/.github/workflows/codeql-analysis.yml b/.github/workflows/codeql-analysis.yml @@ -17,15 +17,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