diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml new file mode 100644 index 000000000..3e6cc230f --- /dev/null +++ b/.github/workflows/build.yml @@ -0,0 +1,36 @@ +name: CI + +on: + push: + branches: + - master + +jobs: + build: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v3 + - uses: actions/setup-python@v4 + with: + python-version: '3.11' + - run: pip install -r requirements.txt + - run: make sphinx + # Publish built docs to gh-pages branch. + - name: Commit documentation changes + run: | + git clone https://github.com/wdv4758h/notes.git --depth 1 --branch gh-pages --single-branch gh-pages + rm -rf gh-pages/* + cp -r _build/html/* gh-pages/ + cd gh-pages + touch .nojekyll + git config --local user.email "action@github.com" + git config --local user.name "GitHub Action" + git add . + git commit -m "Update documentation" -a || true + # The above command will fail if no changes were present, so we ignore that. + - name: Push changes + uses: ad-m/github-push-action@master + with: + branch: gh-pages + directory: gh-pages + github_token: ${{ secrets.GITHUB_TOKEN }} diff --git a/requirements.txt b/requirements.txt index 739bd6bad..de0246f8f 100644 --- a/requirements.txt +++ b/requirements.txt @@ -1,4 +1,4 @@ -sphinx==2.3.0 -readthedocs-sphinx-ext==1.0.1 -sphinx_rtd_theme==0.4.3 -ghp-import==0.5.5 +sphinx==6.2.1 +readthedocs-sphinx-ext==2.2.2 +sphinx_rtd_theme==1.2.2 +ghp-import==2.1.0