diff options
| author | Ellie Hermaszewska <ellieh@nvidia.com> | 2025-07-09 14:41:19 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-09 06:41:19 +0000 |
| commit | 00746bf09047cdf01c19dac513a532bcf3ed3ea3 (patch) | |
| tree | 3424872a629307fc9fb4dc04ea5e9a0a787a6523 /.github | |
| parent | 4f54cccf0e0e06be38312e2ee97c2b50b82d7c10 (diff) | |
Stable names and backwards compat for serialized IR modules (#7644)
* stable names
* tests, options and ci for stable names
* Add back compat design document
* fix warnings
* formatting
* comment
* neaten
* regenerate command line reference
* consolidate ci scripts
* faster ci
* remove libreadline
* Move new function to end of interface
---------
Co-authored-by: slangbot <186143334+slangbot@users.noreply.github.com>
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index b18bc7bad..1f831415f 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -123,7 +123,7 @@ jobs: run: | if [[ "${{ matrix.os }}" = "linux" ]]; then sudo apt-get update - sudo apt-get install -y libx11-dev + sudo apt-get install -y libx11-dev fi - name: Setup Node.js if: matrix.os == 'linux' @@ -139,6 +139,12 @@ jobs: platform: ${{matrix.platform}} config: ${{matrix.config}} build-llvm: ${{ matrix.build-llvm }} + + # Don't need to check this on every config + - name: Check Stable Names Table + if: ${{ matrix.os == 'linux' && matrix.config == 'debug' }} + run: ./extras/check-ir-stable-names-gh-actions.sh + - name: Build Slang if: steps.filter.outputs.should-run == 'true' run: | |