diff --git a/.github/workflows/publish-docs.yml b/.github/workflows/publish-docs.yml new file mode 100644 index 0000000..2e0febc --- /dev/null +++ b/.github/workflows/publish-docs.yml @@ -0,0 +1,41 @@ +on: [push, pull_request] + +name: "Build and Publish Documentation" + +permissions: + contents: read + +jobs: + check: + if: "! contains(github.event.head_commit.message, '[ci skip]')" + + timeout-minutes: 10 + + runs-on: ubuntu-latest + + strategy: + fail-fast: false + + steps: + - uses: actions/checkout@v4 + + - name: Set up Python + uses: actions/setup-python@v4 + + - name: Install Python dependencies + run: | + python -m pip install --upgrade pip + python -m pip install sphinx numpydoc sphinx-autobuild sphinx-rtd-theme + + - name: Install this Python package + run: | + pip install .[pydivsufsort] + + - name: Session information + run: | + python --version + + - name: Build documentation + run: | + cd docs + make html