Fix format check error

model-checking · Sep 8, 2023 · ccc341f · ccc341f
1 parent fbeea67
commit ccc341f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/format-check.yml b/.github/workflows/format-check.yml
@@ -20,7 +20,7 @@ jobs:
 
       - name: Check TS linting
         run: |
-          npm install -g npm@latest
+          npm install -g npm@9.8
           npm install
           npm run lint