diff options
| author | Florian Bruhin <me@the-compiler.org> | 2020-12-07 19:09:22 +0100 |
|---|---|---|
| committer | Florian Bruhin <me@the-compiler.org> | 2020-12-07 19:09:22 +0100 |
| commit | 77c5fb888f5463baaeeb6149112b960a6825eae4 (patch) | |
| tree | 9960fd9420ad6bafaec575acb44ddca46bff89ae /.github | |
| parent | fab7f7391d541d3a683a8d9721dedb5401b760c7 (diff) | |
| download | qutebrowser-77c5fb888f5463baaeeb6149112b960a6825eae4.tar.gz qutebrowser-77c5fb888f5463baaeeb6149112b960a6825eae4.zip | |
ci: Simplify CodeQL workflow
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 5978f1f97..fbab9ee9c 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -177,14 +177,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' }} - name: Initialize CodeQL uses: github/codeql-action/init@v1 with: |