diff options
author | eine <eine@users.noreply.github.com> | 2020-06-05 16:09:09 +0200 |
---|---|---|
committer | eine <eine@users.noreply.github.com> | 2020-06-05 16:09:09 +0200 |
commit | 20f45f5644f82df437b09838a2fbdbfc7b6aa4e7 (patch) | |
tree | 7dbda4db25e13394c55cb73855ecd2b448e3ec21 /.github/workflows | |
parent | 83ee8bc516383e0570c72f7076c7c2c4ebb37edf (diff) | |
download | ghdl-yosys-plugin-20f45f5644f82df437b09838a2fbdbfc7b6aa4e7.tar.gz ghdl-yosys-plugin-20f45f5644f82df437b09838a2fbdbfc7b6aa4e7.tar.bz2 ghdl-yosys-plugin-20f45f5644f82df437b09838a2fbdbfc7b6aa4e7.zip |
ci: dispatch after push to 'master' only
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/push.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index 9db20ff..3585ca0 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -18,6 +18,7 @@ jobs: - uses: actions/checkout@v1 - run: ./ci.sh - name: Trigger 'synth' in ghdl/docker + if: github.ref == 'refs/heads/master' && github.event_name != 'pull_request' run: | curl -X POST https://api.github.com/repos/ghdl/docker/dispatches \ -H "Content-Type: application/json" \ |