Skip to content

Commit 661f8ff

Browse files
committed
Merge pull request #156 from DarkDimius/dotty-partest-bootstrapped
Dotty: archive workspace for bootsrapped partest & fix main
2 parents 82cc06a + ca48bc1 commit 661f8ff

File tree

2 files changed

+11
-2
lines changed

2 files changed

+11
-2
lines changed

templates/default/jobs/lampepfl/validate/main.xml.erb

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@
1313
parallel (
1414
{ build(params, "#{job("validate/partest")}") },
1515
{ build(params, "#{job("validate/junit")}") },
16-
{ build(params, "#{job("validate/scalastyle")}") }
16+
{ build(params, "#{job("validate/partest-bootstrapped")}") }
1717
)
1818
1919
EOX

templates/default/jobs/lampepfl/validate/partest-bootstrapped.xml.erb

Lines changed: 10 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,4 +13,13 @@
1313
jvmFlavor: "openjdk",
1414
buildNameScript: setValidateBuildNameScript)
1515
%>
16-
</project>
16+
<publishers>
17+
<hudson.tasks.ArtifactArchiver>
18+
<artifacts>tests/partest-generated/**</artifacts>
19+
<allowEmptyArchive>false</allowEmptyArchive>
20+
<onlyIfSuccessful>false</onlyIfSuccessful>
21+
<fingerprint>false</fingerprint>
22+
<defaultExcludes>true</defaultExcludes>
23+
</hudson.tasks.ArtifactArchiver>
24+
</publishers>
25+
</project>

0 commit comments

Comments
 (0)