m

Author: ajewellamz

.github/workflows/library_format.yml

@@ -35,21 +35,16 @@ jobs:
         with:
           dafny-version: ${{ '4.2.0' }}
 
+      - name: Check format of Java code et al
+        run: |
+          make setup_prettier
+          make format_java_misc-check
+
       - name: Check format of Dafny code
         run: |
-          # This works because `node` is installed by default on GHA runners
-          CORES=$(node -e 'console.log(os.cpus().length)')
           make format_dafny-check
 
       - name: Check format of Dotnet code
         run: |
-          # This works because `node` is installed by default on GHA runners
-          CORES=$(node -e 'console.log(os.cpus().length)')
           make format_net-check
 
-      - name: Check format of Java code et al
-        run: |
-          # This works because `node` is installed by default on GHA runners
-          CORES=$(node -e 'console.log(os.cpus().length)')
-          make setup_prettier
-          make format_java_misc-check