Merge branch 'main' into z-stubbing

model-checking · Oct 17, 2023 · 2186b41 · 2186b41
2 parents 8c7aed1 + 13cb539
commit 2186b41
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/format-check.yml b/.github/workflows/format-check.yml
@@ -20,7 +20,6 @@ jobs:
 
       - name: Check TS linting
         run: |
-          npm install -g npm@latest
           npm install
           npm run lint