From 4eaefbab438a149efcd26cdeef57c18206919d8f Mon Sep 17 00:00:00 2001 From: Ivan Grokhotkov Date: Sat, 16 Dec 2023 15:52:43 +0100 Subject: [PATCH] feat(docs): use a faster fork of breathe-doc/breathe See https://github.com/breathe-doc/breathe/discussions/962 --- .gitlab/ci/docs.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitlab/ci/docs.yml b/.gitlab/ci/docs.yml index 95141ffdb9..6e77737a36 100644 --- a/.gitlab/ci/docs.yml +++ b/.gitlab/ci/docs.yml @@ -93,6 +93,7 @@ check_docs_lang_sync: tags: - build_docs script: + - if [ -n "${BREATHE_ALT_INSTALL_URL}" ]; then pip uninstall -y breathe && pip install -U ${BREATHE_ALT_INSTALL_URL}; fi - cd docs - build-docs -t $DOCTGT -bs $DOC_BUILDERS -l $DOCLANG build parallel: