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 c9889498e18cc62e6e7c9fa106bbe3e7f3ad6360..d92f6df21d251bfcbfab6f0d099f5fb91490b1f0 100644 (file)
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -33,7 +33,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        features: [tiny, small, normal, huge]
+        features: [tiny, normal, huge]
         compiler: [clang, gcc]
         extra: [none]
         include:
@@ -125,7 +125,7 @@ jobs:
           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 e08cf49fbad2fd03ccdc143bea2fac80996f5d0b..67bc7ffa84e60b3065e183a15f5e4570cc35f049 100644 (file)
--- a/src/version.c
+++ b/src/version.c
@@ -699,6 +699,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    704,
 /**/
     703,
 /**/