Merge pull request #13788 from armanbilge/topic/spire

Add spire to community build

Author: prolativ

.gitmodules

@@ -216,3 +216,6 @@
 [submodule "community-build/community-projects/specs2"]
 	path = community-build/community-projects/specs2
 	url = https://github.com/dotty-staging/specs2.git
+[submodule "community-build/community-projects/spire"]
+	path = community-build/community-projects/spire
+	url = https://github.com/dotty-staging/spire.git

community-build/community-projects/spire

@@ -738,6 +738,13 @@ object projects:
     dependencies = List()
   )
 
+  lazy val spire = SbtCommunityProject(
+    project = "spire",
+    sbtTestCommand = "test",
+    sbtPublishCommand = "publishLocal",
+    dependencies = List(cats, disciplineMunit)
+  )
+
 end projects
 
 def allProjects = List(

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

@@ -90,6 +90,7 @@ class CommunityBuildTestC:
   @Test def scas = projects.scas.run()
   @Test def sconfig = projects.sconfig.run()
   @Test def shapeless = projects.shapeless.run()
+  @Test def spire = projects.spire.run()
   @Test def sourcecode = projects.sourcecode.run()
   @Test def specs2 = projects.specs2.run()
   @Test def stdLib213 = projects.stdLib213.run()