diff options
| author | eine <eine@users.noreply.github.com> | 2020-06-05 15:57:41 +0200 |
|---|---|---|
| committer | eine <eine@users.noreply.github.com> | 2020-06-05 15:57:41 +0200 |
| commit | 83ee8bc516383e0570c72f7076c7c2c4ebb37edf (patch) | |
| tree | 2f87a3dfde32a7e3ca7fadda34b35bba0cdf9d21 /.github | |
| parent | 5fad8b946887d0ac37d6c379e04ba8bfe0c9f16b (diff) | |
| download | ghdl-yosys-plugin-83ee8bc516383e0570c72f7076c7c2c4ebb37edf.tar.gz ghdl-yosys-plugin-83ee8bc516383e0570c72f7076c7c2c4ebb37edf.tar.bz2 ghdl-yosys-plugin-83ee8bc516383e0570c72f7076c7c2c4ebb37edf.zip | |
ci: trigger repository_dispatch in ghdl/docker
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/push.yml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index 88dcb22..9db20ff 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -17,3 +17,10 @@ jobs: steps: - uses: actions/checkout@v1 - run: ./ci.sh + - name: Trigger 'synth' in ghdl/docker + 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": "synth"}' |