diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 4 |
1 files changed, 2 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" |