revert change in build-script: we should test before publish

sosy-lab · Nov 10, 2023 · 9fb8774 · 9fb8774
1 parent bb7299b
commit 9fb8774
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"/>