diff --git a/.github/workflows/documentation.yaml b/.github/workflows/documentation.yaml new file mode 100644 index 000000000..64b848cbf --- /dev/null +++ b/.github/workflows/documentation.yaml @@ -0,0 +1,53 @@ +on: + push: + paths: + - 'docs/**' + + pull_request: + paths: + - 'docs/**' + +name: Documentation + +jobs: + build: + name: Build + + runs-on: ubuntu-latest + + steps: + - name: "Checkout" + uses: actions/checkout@v2 + + - name: "Set up Python 3.7" + uses: actions/setup-python@v1 + with: + python-version: '3.7' # Semantic version range syntax or exact version of a Python version + + - name: "Display Python version" + run: python -c "import sys; print(sys.version)" + + - name: "Install Sphinx dependencies" + run: sudo apt-get install python-dev build-essential + + - name: "Install custom requirements via pip" + run: pip install -r docs/requirements.txt + + - name: "Build documentation" + run: make docs + + doctor-rst: + name: DOCtor-RST + + runs-on: ubuntu-latest + + steps: + - name: "Checkout" + uses: actions/checkout@master + + - name: "Run DOCtor-RST" + uses: docker://oskarstark/doctor-rst + with: + args: --short + env: + DOCS_DIR: 'docs/' diff --git a/.github/workflows/lint.yaml b/.github/workflows/lint.yaml deleted file mode 100644 index a441c78f1..000000000 --- a/.github/workflows/lint.yaml +++ /dev/null @@ -1,14 +0,0 @@ -on: [push, pull_request] -name: Lint -jobs: - doctor-rst: - name: DOCtor-RST - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@master - - name: DOCtor-RST - uses: docker://oskarstark/doctor-rst - with: - args: --short - env: - DOCS_DIR: 'docs/' diff --git a/.travis.yml b/.travis.yml index cd9e876ab..a6b44b8ec 100644 --- a/.travis.yml +++ b/.travis.yml @@ -38,8 +38,6 @@ env: matrix: fast_finish: true include: - - php: '7.3' - env: TARGET=docs - php: '7.3' env: TARGET=lint - php: '7.2' diff --git a/.travis/check_relevant_docs.sh b/.travis/check_relevant_docs.sh deleted file mode 100755 index 9e618c4e2..000000000 --- a/.travis/check_relevant_docs.sh +++ /dev/null @@ -1,6 +0,0 @@ -#!/usr/bin/env bash -set -ev - -RELEVANT_FILES=$(git diff --name-only HEAD upstream/${TRAVIS_BRANCH} -- '*.rst') - -if [[ -z ${RELEVANT_FILES} ]]; then echo -n 'KO'; exit 0; fi; diff --git a/.travis/install_docs.sh b/.travis/install_docs.sh deleted file mode 100755 index a5522d971..000000000 --- a/.travis/install_docs.sh +++ /dev/null @@ -1,4 +0,0 @@ -#!/usr/bin/env sh -set -ev - -pip install -r docs/requirements.txt --user