diff options
| author | Ellie Hermaszewska <ellieh@nvidia.com> | 2025-07-22 20:32:02 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-22 12:32:02 +0000 |
| commit | f25e5a89f00bcecacee4f09901d5cfdc1be341c6 (patch) | |
| tree | a2281920c7897314004d6bfdd54bffdeb3124bda /.github/workflows/ci.yml | |
| parent | e6906d65ed5367b46675f97b2a272a52c74b6806 (diff) | |
Add CI to check ir module versioning (#7821)
Diffstat (limited to '.github/workflows/ci.yml')
| -rw-r--r-- | .github/workflows/ci.yml | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 1f831415f..c3444f1b7 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -145,6 +145,24 @@ jobs: if: ${{ matrix.os == 'linux' && matrix.config == 'debug' }} run: ./extras/check-ir-stable-names-gh-actions.sh + - name: Check Version Constants + id: check-ir-versions + if: ${{ matrix.os == 'linux' && matrix.config == 'debug' && github.event_name == 'pull_request' }} + env: + GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} + GITHUB_EVENT_NAME: ${{ github.event_name }} + GITHUB_EVENT_PULL_REQUEST_NUMBER: ${{ github.event.pull_request.number }} + GITHUB_BASE_REF: ${{ github.base_ref }} + run: ./extras/check-inst-version-changes.sh + + - name: Upload IR version check results + if: ${{ steps.check-versions.outputs.artifact_created == 'true' }} + uses: actions/upload-artifact@v4 + with: + name: ir-version-check-results + path: ir-version-check-artifact/ + retention-days: 1 + - name: Build Slang if: steps.filter.outputs.should-run == 'true' run: | |