Browse Source

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
pull/6290/head
Alex Crichton 2 years ago
committed by GitHub
parent
commit
d75adc4421
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
  1. 11
      .github/workflows/main.yml

11
.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

Loading…
Cancel
Save