diff options
| author | Jussi Pakkanen <jpakkane@gmail.com> | 2021-10-24 17:46:05 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-24 17:46:05 +0300 |
| commit | 475b8b1ad8cdc5d33ff7bfb0bc91aad53056b81e (patch) | |
| tree | b5ab384990078cd33b6ffbf90b34aed2212c975b /.github | |
| parent | 012ec7d5b3379b035f1dd1369d74cafd26ff6ab0 (diff) | |
| parent | 0eec5480fb2cff1549f7f593a8da29ee7deed01b (diff) | |
| download | meson-475b8b1ad8cdc5d33ff7bfb0bc91aad53056b81e.tar.gz | |
Merge pull request #9377 from mensinda/jsonDocs
docs: Add a JSON documentation backend
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' }} + |