chore: bump Node.js on Windows

leanprover · Oct 16, 2024 · eae06f4 · eae06f4
1 parent 7f2bb9e
commit eae06f4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/on-push.yml b/.github/workflows/on-push.yml
@@ -35,7 +35,7 @@ jobs:
       - name: Setup Node.js
         uses: actions/setup-node@v2
         with:
-          node-version: '16'
+          node-version: '20'
         if: matrix.os == 'windows-latest'
 
       - name: Build