diff options
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: | |