diff options
Diffstat (limited to 'tomlplusplus/.github/workflows/gh-pages.yaml')
| -rw-r--r-- | tomlplusplus/.github/workflows/gh-pages.yaml | 48 |
1 files changed, 0 insertions, 48 deletions
diff --git a/tomlplusplus/.github/workflows/gh-pages.yaml b/tomlplusplus/.github/workflows/gh-pages.yaml deleted file mode 100644 index 2a1f3c6667..0000000000 --- a/tomlplusplus/.github/workflows/gh-pages.yaml +++ /dev/null @@ -1,48 +0,0 @@ -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 |
