From 2b177fd4ed9582439edba194f1879ee6bcab407d Mon Sep 17 00:00:00 2001
From: Bajczi Levente <bajczilevi@gmail.com>
Date: Thu, 1 Aug 2024 23:53:32 +0200
Subject: [PATCH] Also uploading svcomp archive to release

---
 .github/actions/create-release/action.yml | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/.github/actions/create-release/action.yml b/.github/actions/create-release/action.yml
index eafda4b418..0bdf1f521b 100644
--- a/.github/actions/create-release/action.yml
+++ b/.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}}