From c2cd57bdd0945590bfe138d495fc57f089b84aa7 Mon Sep 17 00:00:00 2001
From: Martin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Date: Tue, 6 Aug 2024 11:26:40 +0200
Subject: [PATCH] should have been z13 of course

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 154710c9a..1627cbb52 100644
--- 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'
             }
         }
     }