diff options
author | Bram Moolenaar <Bram@vim.org> | 2020-12-18 13:31:31 +0100 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2020-12-18 13:31:31 +0100 |
commit | b5b77378bc35cb268c384e98c59f2bf8cb406270 (patch) | |
tree | cbd3b3a2e52a0c87029ee648cd3629afb96d6a06 /src | |
parent | 18f69229c581a0f738145cdec70df66723a518fc (diff) |
patch 8.2.2156: Github actions run on pusing a tagv8.2.2156
Problem: Github actions run on pusing a tag.
Solution: Don't run CI on tag push. Omit coveralls on pull-request.
(Ozaki Kiichi, closes #7489)
Diffstat (limited to 'src')
-rw-r--r-- | src/version.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/version.c b/src/version.c index 7a76d06f0c..be2b33c19d 100644 --- a/src/version.c +++ b/src/version.c @@ -751,6 +751,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 2156, +/**/ 2155, /**/ 2154, |