docs: rework CI a bit, more modern skipping (#3424)
* docs: rework CI a bit, more modern skipping * [pre-commit.ci] auto fixes from pre-commit.com hooks for more information, see https://pre-commit.ci Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>
Showing
| breathe==4.26.1 | breathe==4.31.0 | ||
| # docutils 0.17 breaks HTML tags & RTD theme | sphinx==3.5.4 | ||
| # https://github.com/sphinx-doc/sphinx/issues/9001 | sphinx_rtd_theme==1.0.0 | ||
| docutils==0.16 | sphinxcontrib-moderncmakedomain==3.19 | ||
| sphinx==3.3.1 | sphinxcontrib-svg2pdfconverter==1.1.1 | ||
| sphinx_rtd_theme==0.5.0 | |||
| sphinxcontrib-moderncmakedomain==3.17 | |||
| sphinxcontrib-svg2pdfconverter==1.1.0 |
Please
register
or
sign in
to comment