CI: Skip tests before publishing

Author: daniel-raffler

build.xml

@@ -100,7 +100,7 @@ SPDX-License-Identifier: Apache-2.0
 
     <target name="tests" depends="unit-tests-coverage" description="Run all tests"/>
 
-    <target name="publish" depends="tests, dist, publish-artifacts" description="Publish current version of JavaSMT to Ivy repository" />
+    <target name="publish" depends="dist, publish-artifacts" description="Publish current version of JavaSMT to Ivy repository" />
 
     <target name="documentation" depends="collect-options, javadoc" description="Build documentation"/>
 

build/build-publish.xml

@@ -25,8 +25,6 @@ SPDX-License-Identifier: Apache-2.0
         <available property="ivy.hasrepository" file="repository/${ivy.organisation}/${ivy.module}" />
         <fail unless="ivy.hasrepository"
             message="Cannot publish without 'repository' dir, please run 'svn co https://svn.sosy-lab.org/software/ivy/repository/${ivy.organisation}/${ivy.module} repository/${ivy.organisation}/${ivy.module}'." />
-        <fail unless="version.publishable"
-            message="Cannot publish version ${version}, only unmodified working copies may be published." />
         <ivy:publish
             conf="core, contrib, *(public)"
             pubrevision="${version}"