From 9fb87741e7fcf7969923e16d3b6d0973b4bee50e Mon Sep 17 00:00:00 2001
From: Karlheinz Friedberger <kfriedberger@gmail.com>
Date: Fri, 10 Nov 2023 23:12:47 +0100
Subject: [PATCH] revert change in build-script: we should test before publish

---
 build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index 5414fb4f26..2cb4a302ae 100644
--- a/build.xml
+++ b/build.xml
@@ -90,7 +90,7 @@ SPDX-License-Identifier: Apache-2.0
 
     <target name="tests" depends="unit-tests-coverage" description="Run all tests"/>
 
-    <target name="publish" depends="test, dist, publish-artifacts" description="Publish current version of JavaSMT to Ivy repository" />
+    <target name="publish" depends="tests, dist, publish-artifacts" description="Publish current version of JavaSMT to Ivy repository" />
 
     <target name="documentation" depends="collect-options, javadoc" description="Build documentation"/>