diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 9f93d004d..0da934035 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -94,17 +94,22 @@ jobs: # Install Python. - uses: actions/setup-python@v2 with: - python-version: '3.7' + python-version: '3.6' + - name: Install dependencies run: | python -m pip install --upgrade pip pip install sphinx sphinx_rtd_theme sphinx-tabs sphinxext-opengraph doc8 pip install -r requirements.txt - sudo apt install -y texlive-latex-recommended texlive-fonts-recommended texlive-latex-extra latexmk texlive-lang-greek texlive-luatex texlive-xetex texlive-fonts-extra dvipng graphviz + + - name: Install LaTeX and other system dependencies + run: sudo apt install -y texlive-latex-recommended texlive-fonts-recommended texlive-latex-extra latexmk texlive-lang-greek texlive-luatex texlive-xetex texlive-fonts-extra dvipng graphviz + - name: Check the docs run: | - ls make linkcheck + make lint + - name: Build the docs run: | make html