diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/docs.yaml | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml new file mode 100644 index 0000000..35aa304 --- /dev/null +++ b/.github/workflows/docs.yaml @@ -0,0 +1,32 @@ +name: docs +on: + push: + branches: + - master +jobs: + docs: + runs-on: ubuntu-latest + steps: + - name: checkout repository + uses: actions/checkout@v2 + - name: install python + uses: actions/setup-python@v1 + with: + python-version: "3.10" + - name: install requirements.pip.dev.txt + run: | + python -m pip install --upgrade pip + pip install sphinx furo + - name: build docs + run: ./build-docs.sh + - name: create CNAME + if: github.repository == 'bozokopic/lisp16' + run: | + echo "lisp16.kopic.xyz" > build/docs/CNAME + - name: deploy + uses: peaceiris/actions-gh-pages@v3 + with: + github_token: ${{ secrets.GITHUB_TOKEN }} + publish_dir: ./build/docs + publish_branch: gh-pages + force_orphan: true |