ci: split PR validation comments #22
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: notify-techapi | |
| # On every push to main, ping TechAPI so it bumps its TechEngine submodule | |
| # pointer to the new commit. The bump itself happens in TechAPI's bump-engine.yml | |
| # (triggered by this repository_dispatch); TechEngine only fires the signal. | |
| # | |
| # No loop: TechAPI's bump commit lands in TechAPI, never pushed back here. | |
| # Requires TECHAPI_TOKEN (Contents: write on GetTechAPI/TechAPI) — already set. | |
| on: | |
| push: | |
| branches: [main] | |
| # Don't ping TechAPI for commits that only move the TechAPI submodule pointer | |
| # (bump-techapi.yml's own bumps): TechAPI doesn't need to track those, and | |
| # skipping them keeps each real change to exactly one bump — symmetric with | |
| # TechAPI's notify-engine.yml ignoring its TechEngine gitlink. | |
| paths-ignore: | |
| - TechAPI | |
| permissions: | |
| contents: read | |
| jobs: | |
| notify: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Dispatch engine-updated to TechAPI | |
| uses: peter-evans/repository-dispatch@v3 | |
| with: | |
| token: ${{ secrets.TECHAPI_TOKEN }} | |
| repository: GetTechAPI/TechAPI | |
| event-type: engine-updated | |
| client-payload: | | |
| {"sha": "${{ github.sha }}", "ref": "${{ github.ref }}"} |