1
0
Fork 0

ci: run debian cache at midnight, change batch size

master
dump_stack() 2023-05-16 19:44:15 +00:00
parent 6ab8f2fea1
commit bd2dfe3e4e
Signed by: dump_stack
GPG Key ID: BE44DA8C062D87DC
1 changed files with 2 additions and 2 deletions

View File

@ -3,7 +3,7 @@ name: Debian kernels cache
on:
workflow_dispatch:
schedule:
- cron: '0 4 * * *'
- cron: '0 0 * * *'
push:
paths:
- '.github/workflows/debian-cache.yml'
@ -70,7 +70,7 @@ jobs:
status, output = getstatusoutput(
"./out-of-tree --log-level=warn "
"distro debian get-deb "
"--ignore-cached --max=64"
"--ignore-cached --max=16
)
logging.info(output)
return status == 0