Created publication of release

Author: leventeBajczi

.github/actions/create-release/action.yml

@@ -48,6 +48,10 @@ runs:
       with:
         name: Thorn_SV-COMP
         path: upload/
+    - uses: actions/download-artifact@fa0a91b85d4f404e444e00e005971372dc801d16 # v3.0.2
+      with:
+        name: ThetaCHC_SV-COMP
+        path: upload/
     - run: for i in $(find jar -name "*-all.jar"); do mv -v $i upload/$(basename ${i%-${{steps.value.outputs.version}}-all.jar}.jar); done
       shell: bash
     - name: Release

build.gradle.kts

@@ -29,7 +29,7 @@ buildscript {
 
 allprojects {
     group = "hu.bme.mit.theta"
-    version = "6.13.0"
+    version = "6.13.1"
 
     apply(from = rootDir.resolve("gradle/shared-with-buildSrc/mirrors.gradle.kts"))
 }