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 | |
| parent | 33afa2447bdb0bdd15253c69a2cf6f9903685815 (diff) | |
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')
| -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 ec02a8124a..68b5480b0e 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: |