From 33f5a189d28ea35bd2b4fbae6d4a0561792a045f Mon Sep 17 00:00:00 2001 From: Markus Alexander Kuppe Date: Mon, 8 Jan 2024 20:23:54 +0000 Subject: [PATCH] Support ANSI escape sequence in trace explorer web view. The JS ecosystem keeps on giving. Fixes build breakage of Github issue #320 https://github.com/tlaplus/vscode-tlaplus/issues/320 [Feature] Signed-off-by: Markus Alexander Kuppe --- .github/workflows/ci.yml | 2 +- .github/workflows/pre-release.yml | 2 +- .github/workflows/release-nightly.yml | 2 +- .github/workflows/release.yml | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index eebf66b8..057af100 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -12,7 +12,7 @@ jobs: - uses: actions/checkout@v1 - uses: actions/setup-node@v1 with: - node-version: '14.17' + node-version: '18.19' - name: Install dependencies run: | npm install diff --git a/.github/workflows/pre-release.yml b/.github/workflows/pre-release.yml index aa96b69d..ac2b18c7 100644 --- a/.github/workflows/pre-release.yml +++ b/.github/workflows/pre-release.yml @@ -15,7 +15,7 @@ jobs: - uses: actions/checkout@v1 - uses: actions/setup-node@v1 with: - node-version: '14.17' + node-version: '18.19' - name: Get current version id: version run: echo "::set-output name=version::$(jq -r .version package.json)" diff --git a/.github/workflows/release-nightly.yml b/.github/workflows/release-nightly.yml index 53778ce9..b9dd0485 100644 --- a/.github/workflows/release-nightly.yml +++ b/.github/workflows/release-nightly.yml @@ -31,7 +31,7 @@ jobs: - uses: actions/checkout@v1 - uses: actions/setup-node@v1 with: - node-version: '14.17' + node-version: '18.19' - name: Get (nightly) TLC run: wget https://nightly.tlapl.us/dist/tla2tools.jar -O tools/tla2tools.jar - name: Get (nightly) CommunityModules diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 1b45293a..6ad95c28 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -9,7 +9,7 @@ jobs: - uses: actions/checkout@v1 - uses: actions/setup-node@v1 with: - node-version: '14.17' + node-version: '18.19' - name: Get current version id: version run: echo "::set-output name=version::$(jq -r .version package.json)"