[PATCH v5 2/2] ci: Execute the tests.

[Giovanni Mascellani]

From: Giovanni Mascellani

---
 gitlab/build-linux | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gitlab/build-linux b/gitlab/build-linux
index 1b7a7a5b..88cb2ef7 100755
--- a/gitlab/build-linux
+++ b/gitlab/build-linux
@@ -11,9 +11,9 @@ set -Eeuxo pipefail
 rm -fr build
 mkdir build
 cd build
-../configure --enable-demos && make -j$(nproc) && make -j$(nproc) crosstest || touch ../pipeline_failed
+../configure --enable-demos && make -j$(nproc) && make -j$(nproc) crosstest && make -j$(nproc) check || touch ../pipeline_failed

mkdir -p ../artifacts/$COMMIT
-rsync -Rr doc/* tests/*.exe ../artifacts/$COMMIT
+rsync -Rr doc/* tests/*.exe tests/*.log tests/*/*.log ../artifacts/$COMMIT

git reset --hard