diff options
| author | Thomas Huth <thuth@redhat.com> | 2021-03-11 15:22:08 +0100 |
|---|---|---|
| committer | Thomas Huth <thuth@redhat.com> | 2021-03-12 15:46:30 +0100 |
| commit | dd188e41847ced8f49c9ab6bb392e39456690f63 (patch) | |
| tree | 515cd6989c987ddc1b99dbdf24d510520460bb17 /util/rcu.c | |
| parent | 3b472e71d50fe33f2e0dfdd447dde5910ddf0761 (diff) | |
gitlab-ci.yml: Move build-tools-and-docs-debian to a better place
The "build-tools-and-docs-debian" job had been added in between
the "check-system-debian" and the "accepance-system-debian" jobs
and thus separates the jobs that belong together. Move it away,
to the end of the file, next to the "pages" job that depends on it.
And while we're at it, also add a proper "needs:" line to the
job so that it can be started as soon as possible instead of always
waiting for the previous stage to finish.
Message-Id: <20210311142211.1547864-2-thuth@redhat.com>
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Signed-off-by: Thomas Huth <thuth@redhat.com>
Diffstat (limited to 'util/rcu.c')
0 files changed, 0 insertions, 0 deletions