build 401.1 and 401.2

docker · Sep 20, 2018 · 5e85b79 · 5e85b79
1 parent a833bb5
commit 5e85b79
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -17,7 +17,7 @@ exceriseSets = [
 //    'ex101' : [3, 2],
 //    'ex201' : [2, 2, 5, 6],
 //    'ex301' : [2, 2, 5, 6],
-    'ex401' : [6, 9, 7, 1]
+//    'ex401' : [6, 9]
 ]
 
 pipeline {