CI/distcheck: run full tests

To be able to detect missing files better, this now runs the full CI
test suite. If done before, it would have detected #12462 before
release.

Closes #12503
This commit is contained in:
Daniel Stenberg 2023-12-11 18:57:48 +01:00
parent e38a8e0cd0
commit 9efdefe6b1
No known key found for this signature in database
GPG key ID: 5CC908FDB71E12C2

View file

@ -50,7 +50,7 @@ jobs:
pushd curl-99.98.97
./configure --prefix=$HOME/temp --without-ssl
make
make TFLAGS=1 test
make test-ci
make install
popd
# basic check of the installed files
@ -75,7 +75,7 @@ jobs:
pushd build
../curl-99.98.97/configure --without-ssl
make
make TFLAGS='-p 1 1139' test
make test-ci
popd
rm -rf build
rm -rf curl-99.98.97
@ -98,7 +98,7 @@ jobs:
pushd build
../configure --without-ssl --enable-debug "--prefix=${PWD}/pkg"
make -j3
make -j3 TFLAGS=1279 test
make -j3 test-ci
make -j3 install
name: 'verify out-of-tree autotools debug build'