diff --git a/.github/workflows/build-test-ci.yml b/.github/workflows/build-test-ci.yml index 75f6ca21..2196d55f 100644 --- a/.github/workflows/build-test-ci.yml +++ b/.github/workflows/build-test-ci.yml @@ -7,6 +7,14 @@ on: push: 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: autotools: strategy: diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml index 84e6edaf..cfa0f2ab 100644 --- a/.github/workflows/coverity.yml +++ b/.github/workflows/coverity.yml @@ -8,6 +8,14 @@ on: push: 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: coverity: runs-on: ubuntu-latest