diff --git a/.ci/docs b/.ci/docs index 4363b2d61a..1cb648df70 100644 --- a/.ci/docs +++ b/.ci/docs @@ -22,7 +22,6 @@ pipeline { stage('build') { steps { sh 'eval "$(pyenv init -)"; make -C doc clean html' - archiveArtifacts artifacts: 'doc/_build/html/' } } } diff --git a/.ci/lint b/.ci/lint index e88c4bea68..8c400cac9c 100644 --- a/.ci/lint +++ b/.ci/lint @@ -44,7 +44,7 @@ pipeline { parserName: 'PyLint', pattern: 'pylint-report*.xml' ]], - unstableTotalAll: '999', + failedTotalAll: '1', usePreviousBuildAsReference: true ]) cleanWs()