diff options
| -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"}' |