Also uploading svcomp archive to release

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

@@ -36,12 +36,16 @@ runs:
       with:
         name: ThetaJars
         path: jar/
-    - run: for i in $(find jar -name "*-all.jar"); do mv -v $i jar/$(basename ${i%-${{steps.value.outputs.version}}-all.jar}.jar); done
+    - uses: actions/download-artifact@9bc31d5ccc31df68ecc42ccf4149144866c47d8a # v3.0.2
+      with:
+        name: Theta_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
       uses: softprops/action-gh-release@de2c0eb89ae2a093876385947365aca7b0e5f844 # v1.0
       with:
-        files: jar/**/*.jar
+        files: upload/*
         body: ${{steps.value.outputs.message}}
         name: ${{steps.value.outputs.tagname}}
         tag_name: ${{steps.value.outputs.tagname}}