Update symfpu release config (#126)

Author: Saloed

.github/workflows/release.yml

@@ -43,3 +43,4 @@ jobs:
             ksmt-yices/build/release/**/ksmt-yices-*.jar
             ksmt-cvc5/build/release/**/ksmt-cvc5-*.jar
             ksmt-runner/build/release/**/ksmt-runner-*.jar
+            ksmt-symfpu/build/release/**/ksmt-symfpu-*.jar

ksmt-symfpu/build.gradle.kts

@@ -19,7 +19,7 @@ dependencies {
 publishing {
     publications {
         create<MavenPublication>("maven") {
-            project.shadow.component(this)
+            from(components["java"])
 
             addKsmtPom()
             addSourcesAndJavadoc(project)