diff options
author | Petr Kovar <pkovar@redhat.com> | 2018-12-10 00:04:59 +0100 |
---|---|---|
committer | Petr Kovar <pkovar@redhat.com> | 2018-12-10 00:04:59 +0100 |
commit | 92e18925a22a615428c72636d7a5c515f8702da3 (patch) | |
tree | fd56a55074656936e163eb3775592f787502d3d0 /.gitlab-ci.yml | |
parent | 4c2be2619cee25969550728023a1c159b5893ba3 (diff) | |
download | gnome-user-docs-92e18925a22a615428c72636d7a5c515f8702da3.tar.gz |
Add make check to gitlab-ci
Helps #26. We still don't fail on unsuccessful itstool merge.
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 c6aac02f..53e3afdc 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -5,3 +5,4 @@ build-fedora: script: - ./autogen.sh - make + - make check |