Merge pull request #10543 from eed3si9n/wip/verify

Add Verify to Community Build

Author: anatoliykmetyuk

.gitmodules

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

community-build/community-projects/verify

@@ -360,4 +360,9 @@ object projects:
     sbtTestCommand = "compat30/test",
   )
 
+  lazy val verify = SbtCommunityProject(
+    project        = "verify",
+    sbtTestCommand = "verifyJVM/test",
+  )
+
 end projects

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

@@ -125,6 +125,7 @@ class CommunityBuildTestB extends CommunityBuildTest:
   @Test def sconfig = projects.sconfig.run()
   @Test def shapeless = projects.shapeless.run()
   @Test def stdLib213 = projects.stdLib213.run()
+  @Test def verify = projects.verify.run()
   @Test def xmlInterpolator = projects.xmlInterpolator.run()
   @Test def zio = projects.zio.run()
 end CommunityBuildTestB