should have been z13 of course

martin-frbg · Aug 6, 2024 · c2cd57b · c2cd57b
1 parent d54cc47
commit c2cd57b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -7,7 +7,7 @@ pipeline {
     stages {
         stage('Build') {
             steps {
-                sh 'make clean && make TARGET=Z12'
+                sh 'make clean && make TARGET=Z13'
             }
         }
     }