From 74ac7a08d5209b13320c7a68bfd8d38c72fee880 Mon Sep 17 00:00:00 2001
From: Lucas Kramer <krame505@umn.edu>
Date: Fri, 26 Jun 2020 19:56:36 -0500
Subject: [PATCH] Revert "Temporarily disable integration phase for debugging
 purposes"

This reverts commit 911f7c04b8839dbeafc765730c7e93edbb7042fb.
---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index e4f40d0c8..c4c337697 100644
--- 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}/"