Merge branch 'main' into update/sbt-1.10.4

apalache-mc · Nov 4, 2024 · 25ba751 · 25ba751
2 parents f5da0ef + a538a48
commit 25ba751
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/project/plugins.sbt b/project/plugins.sbt
@@ -7,7 +7,7 @@ addSbtPlugin("se.marcuslonnberg" % "sbt-docker" % "1.11.0")
 // https://github.com/scoverage/sbt-scoverage
 addSbtPlugin("org.scoverage" % "sbt-scoverage" % "2.2.1")
 // https://github.com/sbt/sbt-buildinfo
-addSbtPlugin("com.eed3si9n" % "sbt-buildinfo" % "0.12.0")
+addSbtPlugin("com.eed3si9n" % "sbt-buildinfo" % "0.13.0")
 // https://github.com/sbt/sbt-native-packager
 addSbtPlugin("com.github.sbt" % "sbt-native-packager" % "1.10.4")
 // https://scalacenter.github.io/scalafix/docs/users/installation.html