diff --git a/.gitmodules b/.gitmodules index b15c0c2186b8..9ad809c880af 100644 --- a/.gitmodules +++ b/.gitmodules @@ -53,3 +53,6 @@ [submodule "community-build/community-projects/effpi"] path = community-build/community-projects/effpi url = https://github.com/dotty-staging/effpi +[submodule "community-build/community-projects/intent"] + path = community-build/community-projects/intent + url = https://github.com/factor10/intent.git diff --git a/community-build/community-projects/intent b/community-build/community-projects/intent new file mode 160000 index 000000000000..f27f543e85a5 --- /dev/null +++ b/community-build/community-projects/intent @@ -0,0 +1 @@ +Subproject commit f27f543e85a5c0147a0ae690de8a2b47825708fa diff --git a/community-build/test/scala/dotty/communitybuild/CommunityBuildTest.scala b/community-build/test/scala/dotty/communitybuild/CommunityBuildTest.scala index f6ef1ac1fb23..5fcb39b91e06 100644 --- a/community-build/test/scala/dotty/communitybuild/CommunityBuildTest.scala +++ b/community-build/test/scala/dotty/communitybuild/CommunityBuildTest.scala @@ -206,6 +206,12 @@ class CommunityBuildTest { updateCommand = ";set ThisBuild / useEffpiPlugin := false; effpi/test:update; benchmarks/test:update; examples/test:update; pluginBenchmarks/test:update" ) + @Test def intent = test( + project = "intent", + testCommand = "test", + updateCommand = "update" + ) + // TODO @oderky? It got broken by #5458 // @Test def pdbp = test( // project = "pdbp",