1
0
Fork 0

ci: do not start new fetch after 2 hours

master
dump_stack() 2023-05-16 14:14:24 +00:00
parent a855a6e70c
commit 697eb18552
Signed by: dump_stack
GPG Key ID: BE44DA8C062D87DC
1 changed files with 1 additions and 1 deletions

View File

@ -92,7 +92,7 @@ jobs:
uploaded = []
timeout = time.time() + datetime.timedelta(hours=4).seconds
timeout = time.time() + datetime.timedelta(hours=2).seconds
while get_kernels() and time.time() < timeout:
for f in os.listdir():