diff options
author | Bram Moolenaar <Bram@vim.org> | 2020-07-29 19:29:23 +0200 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2020-07-29 19:29:23 +0200 |
commit | 7b7f78f51dc5a2c307330af0d4e53faced34726f (patch) | |
tree | fd592f49c2129d88d4e7e81d4ffcd8cbe855f4e7 /.github/workflows/ci-windows.yaml | |
parent | 33afa2447bdb0bdd15253c69a2cf6f9903685815 (diff) | |
download | vim-git-7b7f78f51dc5a2c307330af0d4e53faced34726f.tar.gz |
patch 8.2.1321: GitHub CI also runs on tag pushv8.2.1321
Problem: GitHub CI also runs on tag push.
Solution: Skip CI on push. (Ken Takata, closes #6571)
Diffstat (limited to '.github/workflows/ci-windows.yaml')
-rw-r--r-- | .github/workflows/ci-windows.yaml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/ci-windows.yaml b/.github/workflows/ci-windows.yaml index ec02a8124..68b5480b0 100644 --- a/.github/workflows/ci-windows.yaml +++ b/.github/workflows/ci-windows.yaml @@ -2,6 +2,8 @@ name: GitHub CI on: push: + branches: + - '*' pull_request: env: |