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