diff options
| -rw-r--r-- | .github/workflows/ci.yml | 4 | ||||
| -rw-r--r-- | src/version.c | 2 |
2 files changed, 4 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index c9889498e..d92f6df21 100644 --- 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 e08cf49fb..67bc7ffa8 100644 --- a/src/version.c +++ b/src/version.c @@ -700,6 +700,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 704, +/**/ 703, /**/ 702, |