diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 3bf3c838253f08306c5c2a74c501315fb5b2a491..d962a6a318433643cbea16450d223c31decd6976 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -7,6 +7,23 @@ on: jobs: + trigger-docs-update: + runs-on: ubuntu-20.04 + timeout-minutes: 10 + steps: + - uses: actions/github-script@v6 + with: + github-token: ${{ secrets.DOCS_UPDATE_TOKEN }} + script: | + github.rest.repos.createDispatchEvent({ + owner: '${{ github.repository_owner }}', + repo: '${{ secrets.DOCS_REPO }}', + event_type: 'trigger-docs-update', + client_payload: { + version: '${{ github.ref_name }}' + } + }); + download-uberjar: runs-on: ubuntu-20.04 timeout-minutes: 10