2023-05-26 18:37:29 -05:00
|
|
|
name: GitHub Pages
|
|
|
|
|
|
|
|
|
|
on:
|
|
|
|
|
push:
|
2023-05-28 18:43:17 -05:00
|
|
|
tags: ["v*.*"]
|
2023-05-26 18:37:29 -05:00
|
|
|
workflow_dispatch:
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
deploy-docs:
|
|
|
|
|
runs-on: ubuntu-22.04
|
|
|
|
|
permissions:
|
|
|
|
|
contents: write
|
|
|
|
|
concurrency:
|
|
|
|
|
group: ${{ github.workflow }}-${{ github.ref }}
|
|
|
|
|
steps:
|
|
|
|
|
- uses: actions/checkout@v3
|
|
|
|
|
|
|
|
|
|
- name: Add Source to Docs
|
2023-05-26 18:45:17 -05:00
|
|
|
run: cp ./src/viv/viv.py docs/viv.py
|
2023-05-26 18:37:29 -05:00
|
|
|
|
|
|
|
|
- name: Deploy
|
|
|
|
|
uses: peaceiris/actions-gh-pages@v3
|
|
|
|
|
if: ${{ github.ref == 'refs/heads/main' }}
|
|
|
|
|
with:
|
|
|
|
|
github_token: ${{ secrets.GITHUB_TOKEN }}
|
|
|
|
|
# publish_dir: ./site
|
|
|
|
|
publish_dir: ./docs
|
