Trying the latest action

dafny-lang · Sep 5, 2023 · 3d5dbac · 3d5dbac
1 parent 60b7991
commit 3d5dbac
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -12,9 +12,9 @@ jobs:
       - name: "Prepare: Checkout Repository"
         uses: actions/checkout@v2
       - name: "Prepare: Use Node.js ${{ matrix.node-version }}"
-        uses: actions/setup-node@v1
+        uses: actions/setup-node@v3
         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
@@ -25,9 +25,9 @@ jobs:
       #  env:
       #    CI: true
       - name: "Prepare: Package VSCode Extension"
-        uses: actions/setup-node@v1
+        uses: actions/setup-node@v3
         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/