blob: 3585ca03161ac670754d968bea71d479b5a24a3c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
name: 'push'
on:
push:
pull_request:
schedule:
- cron: '0 0 * * 5'
env:
CI: true
DOCKER_BUILDKIT: 1
jobs:
test:
runs-on: ubuntu-latest
steps:
- 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" \
-H 'Accept: application/vnd.github.everest-preview+json' \
-H "Authorization: token ${{ secrets.GHDL_BOT }}" \
--data '{"event_type": "synth"}'
|