Added EmergenTheta and Thorn uploads

ftsrg · Nov 11, 2024 · e0b4216 · e0b4216
1 parent f5e6aef
commit e0b4216
Showing 1 changed file with 8 additions and 0 deletions.
diff --git 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