blob: 9db20ff18ac0733f2d70f8844e0c0a6144a1a4cd (
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
|
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
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"}'
|
