diff options
author | Daniel Vetter <daniel.vetter@ffwll.ch> | 2018-10-30 13:22:14 +0100 |
---|---|---|
committer | Daniel Vetter <daniel.vetter@ffwll.ch> | 2018-10-31 10:58:15 +0100 |
commit | 445c205139f4b0986bc4f56ad94494275fe68e59 (patch) | |
tree | 43232c9870936c3f77601c7669b1a5540770ae3e | |
parent | c2e577baa0beb2823ff6c764f91f90265ec27cff (diff) |
gitlab-ci: Build docs by default
I just realized that when you push to a non-HEAD branch, then gitlab
doesn't bother to build the deploy stage. Which means if you push to a
branch, then that's not properly tested.
So build docs right away. We're not going to waste anything, since the
deploy:pages job will pick up right from where we left.
Reviewed-by: Eric Anholt <eric@anholt.net>
Reviewed-by: Petri Latvala <petri.latvala@intel.com>
Signed-off-by: Daniel Vetter <daniel.vetter@intel.com>
-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 e0251d0a..bec09e3e 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -24,6 +24,7 @@ build:tests-fedora: script: - meson $MESON_OPTIONS build - ninja -C build + - ninja -C build igt-gpu-tools-doc artifacts: paths: - build |