github: enable cron schedule
Since GH is mirroring the code directly from our GoB systems, they aren't triggering push events. Set them up with a daily/weekly cron so we get some level of coverage. Change-Id: I9ececc74a4904e0e3060a10ee1acb952e2021240 Reviewed-on: https://chromium-review.googlesource.com/c/breakpad/breakpad/+/3289899 Reviewed-by: Mark Mentovai <mark@chromium.org>
This commit is contained in:
parent
57281798ba
commit
998a0a480c
2 changed files with 16 additions and 0 deletions
8
.github/workflows/build-test-ci.yml
vendored
8
.github/workflows/build-test-ci.yml
vendored
|
@ -7,6 +7,14 @@ on:
|
||||||
push:
|
push:
|
||||||
branches: [main]
|
branches: [main]
|
||||||
|
|
||||||
|
schedule:
|
||||||
|
# The GH mirroring from Google GoB does not trigger push actions.
|
||||||
|
# Fire it every other day to provide some coverage. This will run ~8 AM PT.
|
||||||
|
- cron: '39 3 */2 * *'
|
||||||
|
|
||||||
|
# Allow for manual triggers from the web.
|
||||||
|
workflow_dispatch:
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
autotools:
|
autotools:
|
||||||
strategy:
|
strategy:
|
||||||
|
|
8
.github/workflows/coverity.yml
vendored
8
.github/workflows/coverity.yml
vendored
|
@ -8,6 +8,14 @@ on:
|
||||||
push:
|
push:
|
||||||
branches: [main]
|
branches: [main]
|
||||||
|
|
||||||
|
schedule:
|
||||||
|
# The GH mirroring from Google GoB does not trigger push actions.
|
||||||
|
# Fire it once a week to provide some coverage.
|
||||||
|
- cron: '39 2 * * WED'
|
||||||
|
|
||||||
|
# Allow for manual triggers from the web.
|
||||||
|
workflow_dispatch:
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
coverity:
|
coverity:
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
|
|
Loading…
Reference in a new issue