move documentation builder closer to the top of the ci jobs

pull/1851/head
Jeff 2 years ago
parent c70f1866f8
commit bebfcbdba2

@ -287,6 +287,10 @@ local docs_pipeline(name, image, extra_cmds=[], allow_fail=false) = {
],
}],
},
// documentation builder
docs_pipeline('Documentation',
docker_base + 'docbuilder',
extra_cmds=['UPLOAD_OS=docs ./contrib/ci/drone-static-upload.sh']),
// Various debian builds
debian_pipeline('Debian sid (amd64)', docker_base + 'debian-sid'),
@ -346,11 +350,6 @@ local docs_pipeline(name, image, extra_cmds=[], allow_fail=false) = {
],
jobs=4),
// documentation builder
docs_pipeline('Documentation',
docker_base + 'docbuilder',
extra_cmds=['UPLOAD_OS=docs ./contrib/ci/drone-static-upload.sh']),
// integration tests
debian_pipeline('Router Hive',
docker_base + 'ubuntu-lts',

Loading…
Cancel
Save