Skip to content

Replace deprecated isNumber call #945

Replace deprecated isNumber call

Replace deprecated isNumber call #945

Workflow file for this run

name: CI
on:
push:
branches: [ master ]
pull_request:
jobs:
build:
runs-on: ${{ matrix.os }}
strategy:
matrix:
os: [macOS-latest, ubuntu-latest, windows-latest]
steps:
- uses: actions/checkout@v4
- uses: actions/setup-node@v4
with:
node-version: '22'
- name: Install dependencies
run: |
npm ci
npm install -g vsce
- name: Build
run: |
npm run vscode:prepublish
vsce package
- name: Check
run: npm run lint
- name: Test Non-Linux
if: matrix.os != 'ubuntu-latest'
run: npm test --silent
- name: Test Linux
if: matrix.os == 'ubuntu-latest'
run: xvfb-run --auto-servernum npm test --silent
- name: Test TLA+ Grammar
run: npm run test:tlaplus-grammar
- name: Rename artifact
if: matrix.os == 'ubuntu-latest'
run: mv vscode-ide-*.vsix vscode-tlaplus-$(git log -1 --format=%cd --date="format:%Y.%-m.%-d%H%M").vsix
- name: Upload artifact
if: matrix.os == 'ubuntu-latest'
uses: actions/upload-artifact@v4
with:
name: vscode-tlaplus-ci.vsix
path: ${{ github.workspace }}/vscode-tlaplus-*.vsix