Revert "Temporarily disable integration phase for debugging purposes"

This reverts commit 911f7c0.
melt-umn · Jun 27, 2020 · 74ac7a0 · 74ac7a0
1 parent 76c1650
commit 74ac7a0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -91,7 +91,7 @@ melt.trynode('silver') {
     // Clean
     sh "rm -rf silver-latest"
   }
-/*
+
   stage("Integration") {
     // Projects with 'develop' as main branch, we'll try to build specific branch names if they exist
     def github_projects = ["/melt-umn/ableC", "/melt-umn/Oberon0", "/melt-umn/ableJ14", "/melt-umn/meta-ocaml-lite", "/melt-umn/rewriting-lambda-calculus",
@@ -111,7 +111,7 @@ melt.trynode('silver') {
     // Do downstream integration testing
     parallel tasks
   }
-*/
+
   if (env.BRANCH_NAME == 'develop') {
     stage("Deploy") {
       sh "rsync -a --exclude .git --exclude generated --exclude silver-latest.tar.gz --delete --delete-excluded ./ ${silver.SILVER_WORKSPACE}/"