diff --git a/build.gradle b/build.gradle index 4a68ec14bbd89206c0177ca67f36ce43af7a116a..48a12649f93ad0656c9bbf6a3cbd775199734edf 100644 --- a/build.gradle +++ b/build.gradle @@ -77,6 +77,8 @@ publishing { publications { mavenJava(MavenPublication) { from components.java + // Don't publish the shadowJar to Maven Central + artifacts.removeIf {it.classifier == "all"} pom { name = 'TLA+ to B-AST'