diff --git a/.github/actions/benchexec-test/action.yml b/.github/actions/benchexec-test/action.yml index eda31a4cc1..d6b0a2e322 100644 --- 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: