fix: update NPM

leanprover-community · Aug 5, 2024 · 95ece42 · 95ece42
1 parent 8001f56
commit 95ece42
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -30,6 +30,11 @@ jobs:
           path-type: inherit
           install: curl unzip
 
+      - name: Update NPM
+        # See https://github.com/nodejs/node/issues/52682
+        shell: bash
+        run: npm install -g npm
+
       - name: Install elan
         shell: bash
         run: |