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/.github/workflows/ci-windows.yaml b/.github/workflows/ci-windows.yaml
index 9177830..7db551f 100644
--- a/.github/workflows/ci-windows.yaml
+++ b/.github/workflows/ci-windows.yaml
@@ -3,7 +3,7 @@
on:
push:
branches:
- - '*'
+ - '**'
pull_request:
env:
@@ -39,6 +39,7 @@
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 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,