From e97ba9bdb3144a43166ea13adf46edb26a869287 Mon Sep 17 00:00:00 2001 From: Alexander Batashev Date: Tue, 7 Apr 2020 13:33:39 +0300 Subject: [PATCH] [CI] Download fixed versions of Python tools Download particular versions of Sphinx and plugins instead of using the latest available versions on the repository. Signed-off-by: Alexander Batashev --- .github/workflows/gh_pages.yml | 2 +- sycl/doc/conf.py | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/gh_pages.yml b/.github/workflows/gh_pages.yml index 51950fe54ef17..a50bb710c3dbe 100644 --- a/.github/workflows/gh_pages.yml +++ b/.github/workflows/gh_pages.yml @@ -15,7 +15,7 @@ jobs: - name: Install deps run: | sudo apt-get install -y doxygen graphviz ssh ninja-build - sudo pip3 install sphinx recommonmark sphinx_markdown_tables + sudo pip3 install 'sphinx==3.0.0' 'recommonmark==0.6.0' 'sphinx_markdown_tables==0.0.12' - name: Build Docs run: | mkdir -p $GITHUB_WORKSPACE/build diff --git a/sycl/doc/conf.py b/sycl/doc/conf.py index 3279eff37ebd3..00cc848346451 100644 --- a/sycl/doc/conf.py +++ b/sycl/doc/conf.py @@ -32,6 +32,7 @@ # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom # ones. extensions = [ + 'recommonmark', 'sphinx_markdown_tables' ]