patch 9.0.0704: CI runs "tiny" and "small" builds, which are the same
Problem: CI runs "tiny" and "small" builds, which are the same.
Solution: Remove the "small" build. (Naruhiko Nishino, closes #11315)
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c988949..d92f6df 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -33,7 +33,7 @@
strategy:
fail-fast: false
matrix:
- features: [tiny, small, normal, huge]
+ features: [tiny, normal, huge]
compiler: [clang, gcc]
extra: [none]
include:
@@ -125,7 +125,7 @@
echo "TMPDIR=${{ runner.temp }}"
case "${{ matrix.features }}" in
- tiny|small)
+ tiny)
echo "TEST=testtiny"
if ${{ contains(matrix.extra, 'nogui') }}; then
echo "CONFOPT=--disable-gui"
diff --git a/src/version.c b/src/version.c
index e08cf49..67bc7ff 100644
--- a/src/version.c
+++ b/src/version.c
@@ -700,6 +700,8 @@
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
+ 704,
+/**/
703,
/**/
702,