From 361f9e99e9f26ba8608621583efab6cf624ed2a8 Mon Sep 17 00:00:00 2001
From: eine <eine@users.noreply.github.com>
Date: Thu, 4 Jun 2020 18:05:13 +0200
Subject: ci: trigger repository_dispatch in ghdl/docker

---
 .github/workflows/push.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 5f5f68c24..711d7da1c 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -110,6 +110,12 @@ jobs:
         token: ${{ secrets.GITHUB_TOKEN }}
         tag: 'nightly'
         files: artifact/*
+    - run: |
+        curl -X POST https://api.github.com/repos/ghdl/docker/dispatches \
+        -H "Content-Type: application/json" \
+        -H 'Accept: application/vnd.github.everest-preview+json' \
+        -H "Authorization: token ${{ secrets.GHDL_BOT }}" \
+        --data '{"event_type": "ghdl"}'
 
 #---
 
-- 
cgit v1.2.3