Retry pattern on more commands

ftsrg · Mar 11, 2024 · 08d7b5d · 08d7b5d
1 parent 5f3864d
commit 08d7b5d
Showing 1 changed file with 10 additions and 6 deletions.
diff --git a/.github/actions/benchexec-test/action.yml b/.github/actions/benchexec-test/action.yml
@@ -27,12 +27,16 @@ runs:
         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: |
-        cd sv-benchmarks
-        git sparse-checkout add c
-        git checkout
+    - name: Get C folder (retry max. 3 times)
+      uses: nick-fields/retry@7152eba30c6575329ac0576536151aca5a72780e # v3.0.0
+      with:
+        timeout_minutes: 15
+        max_attempts: 3
+        shell: bash
+        command: |
+          cd sv-benchmarks
+          git sparse-checkout add c
+          git checkout
     - uses: actions/download-artifact@9bc31d5ccc31df68ecc42ccf4149144866c47d8a # v3.0.2
       name: Get zip
       with: