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 | |
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)
-rw-r--r-- | .github/workflows/ci-windows.yaml | 2 | ||||
-rw-r--r-- | src/version.c | 2 |
2 files changed, 4 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: diff --git a/src/version.c b/src/version.c index b81ac066a7..db2e9b42b1 100644 --- a/src/version.c +++ b/src/version.c @@ -755,6 +755,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1321, +/**/ 1320, /**/ 1319, |