From 5f3864d5bf007955ee5b4d622ad4de99862edd55 Mon Sep 17 00:00:00 2001
From: Levente Bajczi <bajczilevi@gmail.com>
Date: Mon, 11 Mar 2024 16:50:08 +0100
Subject: [PATCH] Added retry step, and corrected dependency

---
 .github/actions/benchexec-test/action.yml     | 16 ++++++++--------
 .github/workflows/linux-build-test-deploy.yml |  2 +-
 2 files changed, 9 insertions(+), 9 deletions(-)

diff --git a/.github/actions/benchexec-test/action.yml b/.github/actions/benchexec-test/action.yml
index a67769324e..eda31a4cc1 100644
--- a/.github/actions/benchexec-test/action.yml
+++ b/.github/actions/benchexec-test/action.yml
@@ -20,19 +20,19 @@ runs:
       run: |
         mkdir -p xml
         cp $GITHUB_ACTION_PATH/theta.xml xml/
-    - name: Get sv-benchmarks
+    - name: Get sv-benchmarks (retry max. 3 times)
+      uses: nick-fields/retry@7152eba30c6575329ac0576536151aca5a72780e # v3.0.0
+      with:
+        timeout_minutes: 15
+        max_attempts: 3
+        shell: bash
+        command: git clone --filter=blob:none --no-checkout --depth 1 --sparse https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks.git
+    - name: Checkout C folder
       shell: bash
       run: |
-        git clone --filter=blob:none --no-checkout --depth 1 --sparse https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks.git
         cd sv-benchmarks
         git sparse-checkout add c
         git checkout
-    - name: Get archive
-      shell: bash
-      run: |
-        wget https://github.com/ftsrg/theta/releases/download/svcomp24/theta.zip
-        unzip theta.zip
-        mv Theta theta
     - uses: actions/download-artifact@9bc31d5ccc31df68ecc42ccf4149144866c47d8a # v3.0.2
       name: Get zip
       with:
diff --git a/.github/workflows/linux-build-test-deploy.yml b/.github/workflows/linux-build-test-deploy.yml
index ad15293efc..2900ca95b5 100644
--- a/.github/workflows/linux-build-test-deploy.yml
+++ b/.github/workflows/linux-build-test-deploy.yml
@@ -51,7 +51,7 @@ jobs:
       matrix:
         task: [ReachSafety-Arrays, ReachSafety-BitVectors, ReachSafety-ControlFlow, ReachSafety-ECA, ReachSafety-Floats, ReachSafety-Heap, ReachSafety-Loops, ReachSafety-ProductLines, ReachSafety-Recursive, ReachSafety-Sequentialized, ReachSafety-XCSP, ReachSafety-Combinations, ReachSafety-Hardware, ConcurrencySafety-Main, NoDataRace-Main, ConcurrencySafety-NoOverflows, ConcurrencySafety-MemSafety]
     runs-on: ubuntu-latest
-    needs: build
+    needs: create-archives
     steps:
       - name: Checkout repository
         uses: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9 # v3.5.3