community build: Add discipline

This is a dependency of cats

Author: griggt

.gitmodules

@@ -120,3 +120,6 @@
 [submodule "community-build/community-projects/verify"]
 	path = community-build/community-projects/verify
 	url = https://github.com/dotty-staging/nanotest-strawman.git
+[submodule "community-build/community-projects/discipline"]
+	path = community-build/community-projects/discipline
+	url = https://github.com/dotty-staging/discipline.git

community-build/community-projects/discipline

@@ -34,6 +34,7 @@ def exec(projectDir: Path, binary: String, arguments: String*): Int =
  *  projects to output the version number to a file.
  */
 object Versions:
+  val discipline = "1.1.3-SNAPSHOT"
   val scalacheck = "1.15.2-SNAPSHOT"
   val scalatest = "3.2.3"
   val munit = "0.7.19+DOTTY-SNAPSHOT"
@@ -114,6 +115,8 @@ final case class SbtCommunityProject(
     s""""org.scalameta" %% "junit-interface" % "${Versions.munit}"""",
     s""""org.scodec" %% "scodec-bits" % "${Versions.scodecBits}"""",
     s""""org.scodec" %% "scodec-bits_sjs1" % "${Versions.scodecBits}"""",
+    s""""org.typelevel" %% "discipline-core" % "${Versions.discipline}"""",
+    s""""org.typelevel" %% "discipline-core_sjs1" % "${Versions.discipline}"""",
   )
 
   private val baseCommand =
@@ -455,6 +458,13 @@ object projects:
     sbtDocCommand = "verifyJVM/doc",
   )
 
+  lazy val discipline = SbtCommunityProject(
+    project = "discipline",
+    sbtTestCommand = "coreJVM/test;coreJS/test",
+    sbtPublishCommand = "set every credentials := Nil;coreJVM/publishLocal;coreJS/publishLocal",
+    dependencies = List(scalacheck)
+  )
+
 end projects
 
 def allProjects = projects.fields.of[CommunityProject].sortBy(_.project)

community-build/src/scala/dotty/communitybuild/projects.scala

@@ -105,6 +105,7 @@ class CommunityBuildTestB extends CommunityBuildTest:
   // temporarily disabled due to lampepfl/dotty#10478
   //@Test def catsEffect2 = projects.catsEffect2.run()
   //@Test def catsEffect3 = projects.catsEffect3.run()
+  @Test def discipline = projects.discipline.run()
   // Temporarily disabled until problem discovered in comments to #9449 is fixed
   // @Test def dottyCpsAsync = projects.dottyCpsAsync.run()
   @Test def effpi = projects.effpi.run()