diff options
author | Bram Moolenaar <Bram@vim.org> | 2020-12-18 13:31:31 +0100 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2020-12-18 13:31:31 +0100 |
commit | b5b77378bc35cb268c384e98c59f2bf8cb406270 (patch) | |
tree | cbd3b3a2e52a0c87029ee648cd3629afb96d6a06 /.github/workflows/codeql-analysis.yml | |
parent | 18f69229c581a0f738145cdec70df66723a518fc (diff) |
patch 8.2.2156: Github actions run on pusing a tagv8.2.2156
Problem: Github actions run on pusing a tag.
Solution: Don't run CI on tag push. Omit coveralls on pull-request.
(Ozaki Kiichi, closes #7489)
Diffstat (limited to '.github/workflows/codeql-analysis.yml')
-rw-r--r-- | .github/workflows/codeql-analysis.yml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/.github/workflows/codeql-analysis.yml b/.github/workflows/codeql-analysis.yml index 647c799d67..ef98000f89 100644 --- a/.github/workflows/codeql-analysis.yml +++ b/.github/workflows/codeql-analysis.yml @@ -31,10 +31,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 # Initializes the CodeQL tools for scanning. - name: Initialize CodeQL |