Only update nightly once a week
Merging the nightly update PRs is boring and annoying. We can just do it once a week without too much risk of falling behind. This does mean that I (Tobin) can't be lazy and skip merging the bot's PRs (which I find myself doing when its twice a week).
This commit is contained in:
parent
fe956ccb4e
commit
f428833bdd
|
@ -1,7 +1,7 @@
|
|||
name: Update Nightly rustc
|
||||
on:
|
||||
schedule:
|
||||
- cron: "5 0 * * 1,4" # runs every Monday and Thursday at 00:05
|
||||
- cron: "5 0 * * 6" # Saturday at 00:05
|
||||
workflow_dispatch: # allows manual triggering
|
||||
jobs:
|
||||
format:
|
||||
|
|
Loading…
Reference in New Issue