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 /tests/pm_rc6_residency.c | |
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>
Diffstat (limited to 'tests/pm_rc6_residency.c')
0 files changed, 0 insertions, 0 deletions