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 <[email protected]> Co-authored-by: Bruce Collie <[email protected]>
runtimeverification · Jun 20, 2024 · 24d37d2 · 24d37d2
1 parent 8fd58b3
commit 24d37d2
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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 }}