commit | 15ab48f088842de512ca5f13aa39a4dc7cac8477 | [log] [tgz] |
---|---|---|
author | Bram Moolenaar <Bram@vim.org> | Thu Oct 22 17:33:17 2020 +0200 |
committer | Bram Moolenaar <Bram@vim.org> | Thu Oct 22 17:33:17 2020 +0200 |
tree | 76c4bac703563cdfe3767a20ac96264d694791b7 | |
parent | 371806e1642bbe17792f1e0fc7abe2ae13794635 [diff] [blame] |
patch 8.2.1887: Github actions not optimally configured Problem: Github actions not optimally configured. Solution: Run CI on any pushed branches. Set fail-fast. (Ozaki Kiichi, closes #7184)
diff --git a/src/version.c b/src/version.c index 0933697..16e7a9f 100644 --- a/src/version.c +++ b/src/version.c
@@ -751,6 +751,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1887, +/**/ 1886, /**/ 1885,