From d75adc44216fa640bbcc9be91e4af1221022e51a Mon Sep 17 00:00:00 2001 From: Alex Crichton Date: Wed, 26 Apr 2023 10:54:23 -0500 Subject: [PATCH] Run full CI once a day on `main` (#6288) Use this to prime caches used by PRs to `main` and additionally the merge queue used to merge into `main`. While I'm here additionally update the trigger for merge-queue-based PRs to use `merge_group:` now that it's been fixed. Closes #6285 --- .github/workflows/main.yml | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index e089694b83..ff4c614c7f 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -9,11 +9,16 @@ on: - main - 'release-*' + # Run full CI on the `main` branch once a day to prime the GitHub Actions + # caches used by PRs and the merge queue. + schedule: + - cron: '13 4 * * *' + + # This is the CI that runs for PRs-to-merge. + merge_group: + push: branches: - # This is an alternative to using `merge_group:` which doesn't work at the - # time of this writing. - - 'gh-readonly-queue/main/*' # Right now merge queues can't be used with wildcards in branch protections # so full CI runs both on PRs to release branches as well as merges to # release branches. Note that the merge to a release branch may produce a