diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index eebf66b..057af10 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 aa96b69..ac2b18c 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 53778ce..b9dd048 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 1b45293..6ad95c2 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)"