diff options
author | Jörg Thalheim <joerg@thalheim.io> | 2020-07-28 14:38:14 +0100 |
---|---|---|
committer | Jörg Thalheim <joerg@thalheim.io> | 2020-07-28 14:39:20 +0100 |
commit | 13f1c2386c32b2004a58bb9c729a981da3abb69e (patch) | |
tree | 3d52ead8ae0420ee44158beffaf8677730a63414 /.github | |
parent | d965a55db126c25df2e313d6b0fb8a06912dde2c (diff) |
github-actions: increase timeout to wait for ofborg
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/wait-ofborg.yml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.github/workflows/wait-ofborg.yml b/.github/workflows/wait-ofborg.yml index 52185ce03ce0..b512c44a348f 100644 --- a/.github/workflows/wait-ofborg.yml +++ b/.github/workflows/wait-ofborg.yml @@ -7,9 +7,9 @@ jobs: steps: - name: Wait for ofborg CI run: | - # wait for ~10min - set -x - for i in $(seq 120); do + # wait for ~30min... + # ..in future a better fix would be to make ofborg mark CI as pending right away. + for i in $(seq 260); do res=$(curl --silent \ -H "Accept: application/vnd.github.antiope-preview+json" \ -H "Authorization: token ${GITHUB_TOKEN}" \ |