From 15ab48f088842de512ca5f13aa39a4dc7cac8477 Mon Sep 17 00:00:00 2001 From: Bram Moolenaar Date: Thu, 22 Oct 2020 17:33:17 +0200 Subject: [PATCH] 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) --- .github/workflows/ci-windows.yaml | 3 ++- src/version.c | 2 ++ 2 files changed, 4 insertions(+), 1 deletion(-) 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 @@ -750,6 +750,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ +/**/ + 1887, /**/ 1886, /**/