From 913308142d295231c69f73dcac8a2cb5dfc0728a Mon Sep 17 00:00:00 2001 From: eine Date: Thu, 12 Nov 2020 08:34:37 +0100 Subject: ci: disable trigger --- .github/workflows/push.yml | 21 ++++++++++++--------- 1 file changed, 12 insertions(+), 9 deletions(-) (limited to '.github/workflows') 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"}' -- cgit v1.2.3