chore: update Node.js in CI (#147)

Author: Vtec234

.github/workflows/build.yml

@@ -43,7 +43,7 @@ jobs:
       - name: Setup Node.js
         uses: actions/setup-node@v4
         with:
-          node-version: '20'
+          node-version: '24'
 
       - name: Build package
         run: lake build ProofWidgets