diff options
author | Peder Bergebakken Sundt <pbsds@hotmail.com> | 2024-04-24 14:15:18 +0200 |
---|---|---|
committer | Peder Bergebakken Sundt <pbsds@hotmail.com> | 2024-04-24 14:15:18 +0200 |
commit | d2b73a52cfb08dc52ed9ee0bb99d9b9603eadefe (patch) | |
tree | dff29a6c06c203ce3c3e6b2c87c376e6e2da8424 /.github | |
parent | 1ca46a5fb5cbe9f348014fd282792b884d0ba387 (diff) |
workflows/check-by-name.yml: Increase timeout for resolving merge commit
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/check-by-name.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/check-by-name.yml b/.github/workflows/check-by-name.yml index a5070679c9d0..38e63f32237a 100644 --- a/.github/workflows/check-by-name.yml +++ b/.github/workflows/check-by-name.yml @@ -39,7 +39,7 @@ jobs: # https://docs.github.com/en/rest/guides/using-the-rest-api-to-interact-with-your-git-database?apiVersion=2022-11-28#checking-mergeability-of-pull-requests # Retry the API query this many times - retryCount=3 + retryCount=5 # Start with 5 seconds, but double every retry retryInterval=5 while true; do |