Skip to content

Commit 3339991

Browse files
authored
Merge pull request #7444 from bishabosha/add-intent-community-build
Add dotty-staging/intent to community-build
2 parents 42a619f + 5702596 commit 3339991

File tree

3 files changed

+10
-0
lines changed

3 files changed

+10
-0
lines changed

.gitmodules

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -53,3 +53,6 @@
5353
[submodule "community-build/community-projects/effpi"]
5454
path = community-build/community-projects/effpi
5555
url = https://github.com/dotty-staging/effpi
56+
[submodule "community-build/community-projects/intent"]
57+
path = community-build/community-projects/intent
58+
url = https://github.com/dotty-staging/intent
Submodule intent added at d67e169

community-build/test/scala/dotty/communitybuild/CommunityBuildTest.scala

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -91,6 +91,12 @@ class CommunityBuildTest {
9191
}
9292
}
9393

94+
@Test def intent = test(
95+
project = "intent",
96+
testCommand = "test",
97+
updateCommand = "update"
98+
)
99+
94100
@Test def algebra = test(
95101
project = "algebra",
96102
testCommand = "coreJVM/compile",

0 commit comments

Comments
 (0)