Update node used in CI (#499)

dafny-lang · Sep 18, 2024 · 542c1c0 · 542c1c0
1 parent 681135a
commit 542c1c0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -110,9 +110,9 @@ jobs:
         uses: actions/checkout@v4
 
       - name: "Prepare: Use Node.js ${{ matrix.node-version }}"
-        uses: actions/setup-node@v1
+        uses: actions/setup-node@v4
         with:
-          node-version: v12.x
+          node-version: v22.x
 
       - name: "Prepare: Get Build Artifact"
         uses: actions/download-artifact@v4