Odd #758

Merged
mohr merged 9 commits from development-doc-deployment into development 2023-10-25 12:39:37 +02:00
2 changed files with 13 additions and 7 deletions
Showing only changes of commit cc97c7f82d - Show all commits

View File

@ -7,7 +7,9 @@ RUN apt-get --yes upgrade
ARG DEBIAN_FRONTEND=noninteractive
RUN apt-get --yes install gcc g++ cmake make lcov git valgrind nano iputils-ping python3 pip doxygen graphviz rsync
RUN python3 -m pip install sphinx breathe
# This should also install Sphinx
RUN python3 -m pip install -r docs/requirements.txt
RUN python3 -m pip install breathe
RUN git clone https://github.com/catchorg/Catch2.git && \
cd Catch2 && \

View File

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