diff options
Diffstat (limited to '.github/workflows/push.yml')
| -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"}' #--- |