From 7b7f78f51dc5a2c307330af0d4e53faced34726f Mon Sep 17 00:00:00 2001 From: Bram Moolenaar Date: Wed, 29 Jul 2020 19:29:23 +0200 Subject: [PATCH] patch 8.2.1321: GitHub CI also runs on tag push Problem: GitHub CI also runs on tag push. Solution: Skip CI on push. (Ken Takata, closes #6571) --- .github/workflows/ci-windows.yaml | 2 ++ src/version.c | 2 ++ 2 files changed, 4 insertions(+) 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 @@ -754,6 +754,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ +/**/ + 1321, /**/ 1320, /**/