diff options
Diffstat (limited to '.github/workflows')
| -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: | |