diff options
author | Bram Moolenaar <Bram@vim.org> | 2020-10-22 17:33:17 +0200 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2020-10-22 17:33:17 +0200 |
commit | 15ab48f088842de512ca5f13aa39a4dc7cac8477 (patch) | |
tree | 76c4bac703563cdfe3767a20ac96264d694791b7 | |
parent | 371806e1642bbe17792f1e0fc7abe2ae13794635 (diff) |
patch 8.2.1887: Github actions not optimally configuredv8.2.1887
Problem: Github actions not optimally configured.
Solution: Run CI on any pushed branches. Set fail-fast. (Ozaki Kiichi,
closes #7184)
-rw-r--r-- | .github/workflows/ci-windows.yaml | 3 | ||||
-rw-r--r-- | src/version.c | 2 |
2 files changed, 4 insertions, 1 deletions
diff --git a/.github/workflows/ci-windows.yaml b/.github/workflows/ci-windows.yaml index 917783019d..7db551fdcb 100644 --- a/.github/workflows/ci-windows.yaml +++ b/.github/workflows/ci-windows.yaml @@ -3,7 +3,7 @@ name: GitHub CI on: push: branches: - - '*' + - '**' pull_request: env: @@ -39,6 +39,7 @@ jobs: runs-on: windows-latest strategy: + fail-fast: false matrix: toolchain: [msvc, mingw] arch: [x64, x86] diff --git a/src/version.c b/src/version.c index 0933697495..16e7a9fcd0 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 */ /**/ + 1887, +/**/ 1886, /**/ 1885, |