Add GitHub workflow to check formatting

runtimeverification · Dec 4, 2023 · f40ff37 · f40ff37
1 parent 17f2c27
commit f40ff37
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -30,7 +30,7 @@ jobs:
           fi
 
   format-check:
-    name: 'Check Java code formatting'
+    name: 'Check code formatting'
     runs-on: ubuntu-latest
     needs: version-sync
     steps:
@@ -40,12 +40,14 @@ jobs:
           token: ${{ secrets.JENKINS_GITHUB_PAT }}
           # fetch-depth 0 means deep clone the repo
           fetch-depth: 0
+      - name: 'Check Scala code is formatted correctly'
+        uses: AvaPL/scalafmt-native-formatter@v0
       - name: 'Set up Java 17'
         uses: actions/setup-java@v3
         with:
           distribution: 'zulu'
           java-version: 17
-      - name: 'Check code is formatted correctly'
+      - name: 'Check Java code is formatted correctly'
         uses: axel-op/googlejavaformat-action@v3
         with:
           version: v1.18.1