diff options
author | Michael Czigler <37268479+mcpcpc@users.noreply.github.com> | 2020-12-18 09:31:00 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-18 09:31:00 -0500 |
commit | 4d0d71fdc820de2d539e260fa4bdc15d97f23421 (patch) | |
tree | 3d0c8803bc1e74a9d9678bfc1031ebcd4725b327 /.github | |
parent | 0.2.2 (#94) (diff) | |
download | kirc-4d0d71fdc820de2d539e260fa4bdc15d97f23421.tar.gz kirc-4d0d71fdc820de2d539e260fa4bdc15d97f23421.tar.bz2 kirc-4d0d71fdc820de2d539e260fa4bdc15d97f23421.tar.xz kirc-4d0d71fdc820de2d539e260fa4bdc15d97f23421.tar.zst kirc-4d0d71fdc820de2d539e260fa4bdc15d97f23421.zip |
0.2.3
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/codeql-analysis.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/codeql-analysis.yml b/.github/workflows/codeql-analysis.yml index db93799..8670f66 100644 --- a/.github/workflows/codeql-analysis.yml +++ b/.github/workflows/codeql-analysis.yml @@ -33,8 +33,8 @@ 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' }} +# - run: git checkout HEAD^2 +# if: ${{ github.event_name == 'pull_request' }} # Initializes the CodeQL tools for scanning. - name: Initialize CodeQL |