1
0
Fork 0

ci: do not start new fetch after 4 hours

master
dump_stack() 2023-05-16 07:52:00 +00:00
parent 53183245ce
commit 7f6fe18d0a
Signed by: dump_stack
GPG Key ID: BE44DA8C062D87DC
1 changed files with 6 additions and 2 deletions

View File

@ -60,6 +60,8 @@ jobs:
run: |
import os
import logging
import time
import datetime
from subprocess import getstatusoutput
@ -67,7 +69,7 @@ jobs:
status, output = getstatusoutput(
"./out-of-tree --log-level=warn "
"distro debian get-deb "
"--ignore-cached --max=32"
"--ignore-cached --max=16"
)
logging.info(output)
return status == 0
@ -89,7 +91,9 @@ jobs:
uploaded = []
while get_kernels():
timeout = time.time() + datetime.timedelta(hours=4).seconds
while get_kernels() and time.time() < timeout:
for f in os.listdir():
if not f.endswith('.deb'):
continue