diff options
Diffstat (limited to 'tomlplusplus/.github/workflows/gh-pages.yaml')
| -rw-r--r-- | tomlplusplus/.github/workflows/gh-pages.yaml | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/tomlplusplus/.github/workflows/gh-pages.yaml b/tomlplusplus/.github/workflows/gh-pages.yaml new file mode 100644 index 0000000000..2a1f3c6667 --- /dev/null +++ b/tomlplusplus/.github/workflows/gh-pages.yaml @@ -0,0 +1,48 @@ +name: gh-pages + +on: + push: + branches: + - master + paths: + - "**.h" + - "**.hpp" + - "**.dox" + - "**.md" + - "docs/**" + - "**/gh-pages.yaml" + workflow_dispatch: + +jobs: + gh-pages: + runs-on: ubuntu-latest + + defaults: + run: + shell: bash + + steps: + - uses: actions/checkout@v4 + with: + fetch-depth: 0 + + - name: Install dependencies + run: | + sudo apt -y update + sudo apt -y install --no-install-recommends git doxygen + pip3 install --user --upgrade poxy + + - name: Generate docs + run: | + git fetch origin master:refs/remotes/origin/master --tags --force + git remote set-head origin -a + git checkout master + git pull --force + cd docs + poxy --verbose --git-tags + + - name: Deploy + uses: peaceiris/actions-gh-pages@v3 + with: + github_token: ${{ secrets.GITHUB_TOKEN }} + publish_dir: ./docs/html |