Merge branch 'master' into update/sbt-typelevel-0.6.7

.scalafmt.conf

@@ -1,4 +1,4 @@
-version = "3.7.17"
+version = "3.8.1"
 align.openParenCallSite = true
 align.openParenDefnSite = true
 maxColumn = 120

build.sbt

@@ -1,4 +1,4 @@
-val Scala212 = "2.12.18"
+val Scala212 = "2.12.19"
 val Scala213 = "2.13.12"
 val Scala3Version = "3.3.0"
 
@@ -43,7 +43,7 @@ lazy val core = crossProject(JSPlatform, JVMPlatform, NativePlatform)
     moduleName := "paiges-core",
     libraryDependencies ++= Seq(
       "org.scalatestplus" %%% "scalacheck-1-16" % "3.2.14.0" % Test,
-      "org.scalatest" %%% "scalatest-funsuite" % "3.2.17" % Test
+      "org.scalatest" %%% "scalatest-funsuite" % "3.2.18" % Test
     ),
     // TODO: 2.13 has warnings for using Stream, but scalacheck Shrink
     tlFatalWarningsInCi := scalaVersion.value.startsWith("2.12."),

project/plugins.sbt

@@ -1,9 +1,9 @@
 addSbtPlugin("org.portable-scala" % "sbt-scala-native-crossproject" % "1.3.2")
-addSbtPlugin("org.scala-js" % "sbt-scalajs" % "1.14.0")
-addSbtPlugin("org.scala-native" % "sbt-scala-native" % "0.4.16")
+addSbtPlugin("org.scala-js" % "sbt-scalajs" % "1.16.0")
+addSbtPlugin("org.scala-native" % "sbt-scala-native" % "0.4.17")
 addSbtPlugin("org.scalameta" % "sbt-mdoc" % "2.3.8")
 addSbtPlugin("org.scalameta" % "sbt-scalafmt" % "2.5.2")
-addSbtPlugin("org.scoverage" % "sbt-scoverage" % "2.0.9")
+addSbtPlugin("org.scoverage" % "sbt-scoverage" % "2.0.11")
 addSbtPlugin("org.typelevel" % "sbt-typelevel" % "0.6.7")
 addSbtPlugin("org.typelevel" % "sbt-typelevel-site" % "0.6.7")
 addSbtPlugin("pl.project13.scala" % "sbt-jmh" % "0.4.7")