From 24d37d21c10214cf1b80f4e29fa7114370d4f78f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tam=C3=A1s=20T=C3=B3th?= Date: Thu, 20 Jun 2024 16:02:07 +0200 Subject: [PATCH] Extract release job `notify-dependents` (#4461) Related: * #4416 Changes ``` release+notify - \ pyk-build-docs --- gh-pages ``` to ``` release --- notify \ pyk-build-docs --- gh-pages ``` This will let us notify dependents after both the K and pyk release jobs go through: ``` release --- pyk-publish --- notify \ pyk-build-docs --- gh-pages ``` --------- Co-authored-by: rv-jenkins Co-authored-by: Bruce Collie --- .github/workflows/release.yml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 7b542707344..aa324c2d9e9 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -405,6 +405,11 @@ jobs: script: | const { owner, repo } = context.repo await github.rest.repos.updateRelease({ owner, repo, release_id: ${{ needs.set-release-id.outputs.release_id }}, prerelease: false }) + + notify-dependents: + runs-on: ubuntu-latest + needs: release + steps: - name: 'Update dependents' env: GITHUB_TOKEN: ${{ secrets.JENKINS_GITHUB_PAT }}