Add CI step to update dependents (#47)

* Add CI step to update dependents * Set Version: 0.1.8 --------- Co-authored-by: devops <[email protected]>
runtimeverification · Sep 26, 2023 · 9c65788 · 9c65788
1 parent 9d6dbd3
commit 9c65788
Show file tree

Hide file tree

Showing 3 changed files with 16 additions and 4 deletions.
diff --git a/.github/workflows/master-push.yml b/.github/workflows/master-push.yml
@@ -16,14 +16,26 @@ jobs:
           ref: ${{ github.event.push.head.sha }}
           fetch-depth: 0
 
-      - name: 'Create Release'
+      - name: 'Create release'
         env:
-          GITHUB_TOKEN: ${{ secrets.JENKINS_GITHUB_PAT }}
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         run: |
           set -x
           VERSION=v$(cat package/version)
           gh release create ${VERSION} --target ${{ github.sha }}
 
+      - name: 'Update dependents'
+        run: |
+          set -x
+          VERSION=$(cat package/version)
+          curl --fail                                                          \
+            -X POST                                                            \
+            -H "Accept: application/vnd.github+json"                           \
+            -H "Authorization: Bearer ${{ secrets.JENKINS_GITHUB_PAT }}"       \
+            -H "X-GitHub-Api-Version: 2022-11-28"                              \
+            https://api.github.com/repos/runtimeverification/devops/dispatches \
+            -d '{"event_type":"on-demand-test","client_payload":{"repo":"runtimeverification/kontrol","version":"'${VERSION}'"}}'
+
 
   nix-cache:
     name: 'Populate Nix Cache'

diff --git a/package/version b/package/version
@@ -1 +1 @@
-0.1.7
+0.1.8
diff --git a/pyproject.toml b/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kontrol"
-version = "0.1.7"
+version = "0.1.8"
 description = "Foundry integration for KEVM"
 authors = [
     "Runtime Verification, Inc. <[email protected]>",