just building 401 to isolate problem

docker · Aug 7, 2024 · 290beef · 290beef
1 parent e2be9db
commit 290beef
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -14,12 +14,18 @@
 
 TARGET_BRANCH = '202408'
 
+EXERCISE_FOLDERS = [
+    "401.end":    "ex401/ex401.end"
+]
+
+/* commenting out temporarily
 EXERCISE_FOLDERS = [
     "base":       "base",
     "101.1.1":    "ex101/ex101.1.1",
     "201.end":    "ex201/ex201.end",
     "401.end":    "ex401/ex401.end",
 ]
+*/
 
 pipeline {
     agent { node { label 'docker-multi-arch' } }