blob: f9437d5159e9c5f08eb06d2f708ed83943096c1c (
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
28
29
30
|
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@v3
- 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"}'
|
