Merge branch 'main' into update/scalafmt-core-3.7.14

apalache-mc · Sep 11, 2023 · 4565234 · 4565234
2 parents 05ca804 + 1281239
commit 4565234
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/project/plugins.sbt b/project/plugins.sbt
@@ -5,7 +5,7 @@ addSbtPlugin("com.eed3si9n" % "sbt-assembly" % "1.2.0")
 // https://github.com/marcuslonnberg/sbt-docker
 addSbtPlugin("se.marcuslonnberg" % "sbt-docker" % "1.11.0")
 // https://github.com/scoverage/sbt-scoverage
-addSbtPlugin("org.scoverage" % "sbt-scoverage" % "2.0.8")
+addSbtPlugin("org.scoverage" % "sbt-scoverage" % "2.0.9")
 // https://github.com/sbt/sbt-buildinfo
 addSbtPlugin("com.eed3si9n" % "sbt-buildinfo" % "0.11.0")
 // https://github.com/sbt/sbt-native-packager