Merge branch '202408' into 202408-fix

docker · Aug 14, 2024 · bd15b8e · bd15b8e
2 parents 5499073 + 4a40f6d
commit bd15b8e
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -21,7 +21,6 @@ EXERCISE_FOLDERS = [
     "401.end":    "ex401/ex401.end",
 ]
 
-
 pipeline {
     agent { node { label 'docker-multi-arch' } }
     environment {