diff options
author | Dmitry Eremin-Solenikov <dbaryshkov@gmail.com> | 2019-11-22 16:43:49 +0300 |
---|---|---|
committer | Dmitry Eremin-Solenikov <dbaryshkov@gmail.com> | 2019-11-22 16:43:49 +0300 |
commit | 82cb8c6381bfacd63e801525c713c6dca2c330d7 (patch) | |
tree | 957b72726239824772168ee8823b6a44a96501d1 /.gitlab-ci.yml | |
parent | 6ace855ba7c55181644b5911f4e9ba62b8cee047 (diff) | |
download | gnutls-82cb8c6381bfacd63e801525c713c6dca2c330d7.tar.gz |
gitlab-ci: enable running make check on minimal build
Signed-off-by: Dmitry Eremin-Solenikov <dbaryshkov@gmail.com>
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 0abe46ae7d..f9fc9a9949 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -135,6 +135,7 @@ minimal.Fedora.x86_64: --disable-guile - make clean - make -j$(nproc) + - make -j$(nproc) check tags: - shared except: |