diff options
author | eine <eine@users.noreply.github.com> | 2020-11-12 08:34:37 +0100 |
---|---|---|
committer | eine <eine@users.noreply.github.com> | 2020-11-12 08:34:37 +0100 |
commit | 913308142d295231c69f73dcac8a2cb5dfc0728a (patch) | |
tree | 13aa576432e7f9eddbde68c21bc10f4c0aafa792 /.github/workflows | |
parent | 2dceb871900b993d1e7ea529af8a4c0fa1cfc8ed (diff) | |
download | ghdl-yosys-plugin-913308142d295231c69f73dcac8a2cb5dfc0728a.tar.gz ghdl-yosys-plugin-913308142d295231c69f73dcac8a2cb5dfc0728a.tar.bz2 ghdl-yosys-plugin-913308142d295231c69f73dcac8a2cb5dfc0728a.zip |
ci: disable trigger
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/push.yml | 21 |
1 files changed, 12 insertions, 9 deletions
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index 3585ca0..e5be6a4 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -15,13 +15,16 @@ jobs: test: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v1 + + - uses: actions/checkout@v2 + - 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" \ - -H 'Accept: application/vnd.github.everest-preview+json' \ - -H "Authorization: token ${{ secrets.GHDL_BOT }}" \ - --data '{"event_type": "synth"}' + + #- 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" \ + # -H 'Accept: application/vnd.github.everest-preview+json' \ + # -H "Authorization: token ${{ secrets.GHDL_BOT }}" \ + # --data '{"event_type": "synth"}' |