aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorJörg Thalheim <joerg@thalheim.io>2020-07-28 14:38:14 +0100
committerJörg Thalheim <joerg@thalheim.io>2020-07-28 14:39:20 +0100
commit13f1c2386c32b2004a58bb9c729a981da3abb69e (patch)
tree3d52ead8ae0420ee44158beffaf8677730a63414 /.github
parentd965a55db126c25df2e313d6b0fb8a06912dde2c (diff)
github-actions: increase timeout to wait for ofborg
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/wait-ofborg.yml6
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}" \