From 00746bf09047cdf01c19dac513a532bcf3ed3ea3 Mon Sep 17 00:00:00 2001
From: Ellie Hermaszewska <ellieh@nvidia.com>
Date: Wed, 9 Jul 2025 14:41:19 +0800
Subject: 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>
---
 .github/workflows/ci.yml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to '.github/workflows')

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: |
-- 
cgit v1.2.3