Upgrade

dafny-lang · Sep 5, 2023 · 0ef5f5a · 0ef5f5a
1 parent 631ac76
commit 0ef5f5a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -14,7 +14,7 @@ jobs:
       - name: "Prepare: Use Node.js ${{ matrix.node-version }}"
         uses: actions/setup-node@v1
         with:
-          node-version: v14.x
+          node-version: v16.x
       #- name: "Prepare: Setup sonarqube"
       #  uses: warchant/setup-sonar-scanner@v1
       - run: npm install -g npm@latest
@@ -27,7 +27,7 @@ jobs:
       - name: "Prepare: Package VSCode Extension"
         uses: actions/setup-node@v1
         with:
-          node-version: v14.x
+          node-version: v16.x
       - run: npm install -g npm@latest
       - run: npm install -g [email protected]
       - run: vsce package --out dist/