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)

diff --git a/.github/workflows/ci-windows.yaml b/.github/workflows/ci-windows.yaml
index ec02a8124a87cc76991d39fb3733e56e651c4654..68b5480b0e87551198363954a4b9d85175c57620 100644 (file)
--- 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 b81ac066a75e735cf3d02e5262cedc1f5aaf61a2..db2e9b42b1b8d9e70e341e927d808c2ba101d91c 100644 (file)
--- 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,
 /**/