From e7f60a80c6044ce42f03d9aa0ae1b441124a6ea5 Mon Sep 17 00:00:00 2001 From: driazati Date: Tue, 6 Sep 2022 14:22:50 -0700 Subject: [PATCH] [ci] Ignore failures in docs push Fixes #12600. The original solution there doesn't actually fix the issue, there would need to be some job queue that could make sure to reject old pushes. Since this case is pretty rare, generally the next commit that comes along and builds will fix everything up so we can ignore failures that happen on `push`es. --- Jenkinsfile | 4 ++-- ci/jenkins/Deploy.groovy.j2 | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 2b73508da0d3..478f473a2617 100755 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -45,7 +45,7 @@ // 'python3 jenkins/generate.py' // Note: This timestamp is here to ensure that updates to the Jenkinsfile are // always rebased on main before merging: -// Generated at 2022-08-30T15:26:50.100067 +// Generated at 2022-09-06T14:20:39.436668 import org.jenkinsci.plugins.pipeline.modeldefinition.Utils // NOTE: these lines are scanned by docker/dev_common.sh. Please update the regex as needed. --> @@ -5758,7 +5758,7 @@ def deploy_docs() { script: ''' cd tvm-site git remote add deploy https://$GITHUB_TOKEN:x-oauth-basic@github.com/apache/tvm-site.git - git push deploy $DOCS_DEPLOY_BRANCH + git push deploy $DOCS_DEPLOY_BRANCH || true ''', label: 'Upload docs to apache/tvm-site' ) diff --git a/ci/jenkins/Deploy.groovy.j2 b/ci/jenkins/Deploy.groovy.j2 index 08516da41b9f..24be9cb47a26 100644 --- a/ci/jenkins/Deploy.groovy.j2 +++ b/ci/jenkins/Deploy.groovy.j2 @@ -72,7 +72,7 @@ def deploy_docs() { script: ''' cd tvm-site git remote add deploy https://$GITHUB_TOKEN:x-oauth-basic@github.com/apache/tvm-site.git - git push deploy $DOCS_DEPLOY_BRANCH + git push deploy $DOCS_DEPLOY_BRANCH || true ''', label: 'Upload docs to apache/tvm-site' )