From e0b4216d04f0ecebbd3d886bb4c936d9a5625000 Mon Sep 17 00:00:00 2001
From: Levente Bajczi <bajczilevi@gmail.com>
Date: Mon, 11 Nov 2024 21:17:45 +0100
Subject: [PATCH] Added EmergenTheta and Thorn uploads

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

diff --git a/.github/actions/create-release/action.yml b/.github/actions/create-release/action.yml
index 8b76214b91..0f9c3ca895 100644
--- a/.github/actions/create-release/action.yml
+++ b/.github/actions/create-release/action.yml
@@ -40,6 +40,14 @@ runs:
       with:
         name: Theta_SV-COMP
         path: upload/
+    - uses: actions/download-artifact@fa0a91b85d4f404e444e00e005971372dc801d16 # v3.0.2
+      with:
+        name: EmergenTheta_SV-COMP
+        path: upload/
+    - uses: actions/download-artifact@fa0a91b85d4f404e444e00e005971372dc801d16 # v3.0.2
+      with:
+        name: Thorn_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