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

---
 build.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build.xml b/build.xml
index c1f97ee7e4..5414fb4f26 100644
--- a/build.xml
+++ b/build.xml
@@ -64,7 +64,7 @@ SPDX-License-Identifier: Apache-2.0
     <import file="build/build-publish.xml"/>
     <import file="build/build-publish-solvers.xml"/>
     <import file="build/build-maven-publish.xml"/>
-    
+
     <path id="classpath">
         <pathelement location="${class.dir}"/>
         <fileset dir="${ivy.lib.dir}" includes="runtime-*/*.jar test/*.jar build/annotations.jar build/auto-value-annotations.jar build/error_prone_annotations.jar"/>
@@ -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="dist, publish-artifacts" description="Publish current version of JavaSMT to Ivy repository" />
+    <target name="publish" depends="test, dist, publish-artifacts" description="Publish current version of JavaSMT to Ivy repository" />
 
     <target name="documentation" depends="collect-options, javadoc" description="Build documentation"/>