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)
This commit is contained in:
Bram Moolenaar
2020-07-29 19:29:23 +02:00
parent 33afa2447b
commit 7b7f78f51d
2 changed files with 4 additions and 0 deletions

View File

@ -2,6 +2,8 @@ name: GitHub CI
on:
push:
branches:
- '*'
pull_request:
env:

View File

@ -754,6 +754,8 @@ static char *(features[]) =
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
1321,
/**/
1320,
/**/