fix: try installing nodejs explicitly

leanprover-community · Aug 5, 2024 · f2f069a · f2f069a
1 parent 95ece42
commit f2f069a
Showing 1 changed file with 1 addition and 6 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -28,12 +28,7 @@ jobs:
         uses: msys2/setup-msys2@v2
         with:
           path-type: inherit
-          install: curl unzip
-
-      - name: Update NPM
-        # See https://github.com/nodejs/node/issues/52682
-        shell: bash
-        run: npm install -g npm
+          install: curl unzip mingw-w64-nodejs
 
       - name: Install elan
         shell: bash