| commit | 7f4a628efefd893a3cad3a1fdde340c98360f705 | [log] [tgz] |
|---|---|---|
| author | Yegappan Lakshmanan <yegappan@yahoo.com> | Sat Dec 25 11:20:30 2021 +0000 |
| committer | Bram Moolenaar <Bram@vim.org> | Sat Dec 25 11:20:30 2021 +0000 |
| tree | a16e10b261b02874ceb69907420194ccd4ad5677 | |
| parent | d787e40fdbe6f4d8bf47d36186c1d9d51c29b853 [diff] [blame] |
patch 8.2.3891: github CI: workflows may overlap
Problem: Github CI: workflows may overlap.
Solution: Cancel previous workflows when starting a new one. (Yegappan
Lakshmanan, closes #9400)
diff --git a/src/version.c b/src/version.c index dd99a31..6d23fa8 100644 --- a/src/version.c +++ b/src/version.c
@@ -750,6 +750,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 3891, +/**/ 3890, /**/ 3889,