github: send repository-dispatch after deployment

Send a repository-dispatch trigger to the ci-actions repo after deployment is finished, so that the CI containers get rebuilt on the new version. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Jul 11, 2024 · ca61391 · ca61391
1 parent cb742b5
commit ca61391
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/.github/workflows/docker-deploy.yml b/.github/workflows/docker-deploy.yml
@@ -208,3 +208,16 @@ jobs:
           docker buildx imagetools create -t trustworthysystems/camkes-cakeml-rust:latest \
             trustworthysystems/camkes-cakeml-rust:${TAG}-arm64 \
             trustworthysystems/camkes-cakeml-rust:${TAG}-amd64
+
+  dispatch:
+    name: Dispatch
+    runs-on: ubuntu-latest
+    needs: [multi-arch]
+    if: ${{ github.repository_owner == 'seL4' }}
+    steps:
+      - name: Trigger ci-actions deployment
+        uses: peter-evans/repository-dispatch@v3
+        with:
+          token: ${{ secrets.PRIV_REPO_TOKEN }}
+          repository: seL4/ci-actions
+          event-type: deps-update