From 422cd159a81c1d3479ba9d5a26d68925e7d183b5 Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Mon, 4 Mar 2019 12:36:09 +0100
Subject: [PATCH] [scripts][ci] Do not re-deploy documentation (risks multiple
parallel deployments)
---
bob/devtools/scripts/ci.py | 11 ++---------
1 file changed, 2 insertions(+), 9 deletions(-)
diff --git a/bob/devtools/scripts/ci.py b/bob/devtools/scripts/ci.py
index 9ecb1bfc..d9a7e919 100644
--- a/bob/devtools/scripts/ci.py
+++ b/bob/devtools/scripts/ci.py
@@ -522,16 +522,9 @@ def nightlies(ctx, order, dry_run):
public=(not private), username=os.environ['DOCUSER'],
password=os.environ['DOCPASS'], overwrite=False, dry_run=dry_run)
- # re-deploys freshly built documentation if we're on the master branch
- # otherwise, removes the documentation
+ # removes the documentation to avoid permissions issues with the following
+ # projects being built
local_docs = os.path.join(os.environ['CI_PROJECT_DIR'], 'sphinx')
-
- if is_master:
- deploy_documentation(local_docs, package, stable=stable,
- public=(not private), branch='master', tag=None,
- username=os.environ['DOCUSER'], password=os.environ['DOCPASS'],
- dry_run=dry_run)
-
if os.path.exists(local_docs):
logger.debug('Sphinx output was generated during test/rebuild ' \
'of %s - Erasing...', package)
--
GitLab