| # Generated by internal/ci/ci_tool.cue; do not edit |
| |
| name: Push to tip triggers |
| on: |
| push: |
| branches: |
| - master |
| jobs: |
| push: |
| runs-on: ubuntu-18.04 |
| defaults: |
| run: |
| shell: bash |
| steps: |
| - name: Rebuild tip.cuelang.org |
| run: curl -f -X POST -d {} https://api.netlify.com/build_hooks/${{ secrets.CuelangOrgTipRebuildHook |
| }} |
| - name: Trigger unity build |
| run: 'curl -s -H "Content-Type: application/json" -u cueckoo:$CUECKOO_GITHUB_PAT |
| --request POST --data-binary "{"event_type": "Check against ${GITHUB_SHA}", |
| "client_payload": {"type": "unity", "payload": {"versions": "\"commit:${GITHUB_SHA})\""}}}" |
| https://api.github.com/repos/cue-sh/unity/dispatches' |