Add scalafmt run to mvn process-sources

runtimeverification · Dec 4, 2023 · 95afea3 · 95afea3
1 parent 2665508
commit 95afea3
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/pom.xml b/pom.xml
@@ -303,6 +303,13 @@
               <style>GOOGLE</style>
             </googleJavaFormat>
           </java>
+          <scala>
+            <includes> **/*.scala </includes>
+            <scalafmt>
+              <version>3.7.17</version>
+              <scalaMajorVersion>2.12</scalaMajorVersion>
+            </scalafmt>
+          </scala>
         </configuration>
       </plugin>
     </plugins>