diff options
author | eine <eine@users.noreply.github.com> | 2020-06-04 18:05:13 +0200 |
---|---|---|
committer | eine <eine@users.noreply.github.com> | 2020-06-04 23:12:05 +0200 |
commit | 361f9e99e9f26ba8608621583efab6cf624ed2a8 (patch) | |
tree | ac9fac72cee7751c430787b75854a3cc35a44dbb /.github | |
parent | 1ec534e9464accf9c8544001368cb485bbc2aa52 (diff) | |
download | ghdl-361f9e99e9f26ba8608621583efab6cf624ed2a8.tar.gz ghdl-361f9e99e9f26ba8608621583efab6cf624ed2a8.tar.bz2 ghdl-361f9e99e9f26ba8608621583efab6cf624ed2a8.zip |
ci: trigger repository_dispatch in ghdl/docker
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/push.yml | 6 |
1 files changed, 6 insertions, 0 deletions
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"}' #--- |