diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/website.yml | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/.github/workflows/website.yml b/.github/workflows/website.yml index 0a1608a77..a71ee3385 100644 --- a/.github/workflows/website.yml +++ b/.github/workflows/website.yml @@ -11,7 +11,13 @@ on: - master paths: - docs/** + pull_request: + paths: + - docs/** workflow_dispatch: + release: + types: + - published # This job is copy/paster into wrapdb CI, please update it there when doing any # change here. @@ -40,6 +46,7 @@ jobs: cd docs ../meson.py setup _build ninja -C _build + ninja -C _build test - name: Update website env: SSH_AUTH_SOCK: /tmp/ssh_agent.sock @@ -47,3 +54,11 @@ jobs: cd docs ninja -C _build upload if: env.HAS_SSH_KEY == 'true' + - name: Release the current JSON docs + uses: svenstaro/upload-release-action@v2 + with: + repo_token: ${{ secrets.GITHUB_TOKEN }} + file: docs/_build/reference_manual.json + tag: ${{ github.ref }} + if: ${{ github.event_name == 'release' }} + |