Odd #758

Merged
mohr merged 9 commits from development-doc-deployment into development 2023-10-25 12:39:37 +02:00
Showing only changes of commit a3b102c0d0 - Show all commits

View File

@ -86,8 +86,9 @@ pipeline {
}
}
stage('Documentation') {
when {
branch 'development'
anyOf {
branch 'development';
branch pattern: 'development-doc*'
}
steps {
sh 'pip install -r docs/requirements.txt'
@ -106,8 +107,9 @@ pipeline {
}
}
stage('Master Documentation') {
when {
branch 'master'
anyOf {
branch 'master';
branch pattern: 'master-doc*'
}
steps {
sh 'pip install -r docs/requirements.txt'