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 ec02a81..68b5480 100644
--- a/.github/workflows/ci-windows.yaml
+++ b/.github/workflows/ci-windows.yaml
@@ -2,6 +2,8 @@
on:
push:
+ branches:
+ - '*'
pull_request:
env:
diff --git a/src/version.c b/src/version.c
index b81ac06..db2e9b4 100644
--- a/src/version.c
+++ b/src/version.c
@@ -755,6 +755,8 @@
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
+ 1321,
+/**/
1320,
/**/
1319,