fix(github): increase delay time to handle push event
@@ -467,7 +467,7 @@ def trigger_build():
trigger = Trigger()
if event == 'push':
# delay push event in case push and pr event comes at the same time
- eventlet.sleep(4)
+ eventlet.sleep(7)
return trigger.handle_push(request.get_json())
elif event == 'pull_request':
return trigger.handle_pull_request(request.get_json())
