chore(nightly): schedule nightly builds for 23:00 UTC

With nightly runs at midnight, it sometimes takes GitHub Actions over an
hour to start the build. On rare occasion this allows new commits from
the new day sneaking in.

Hence we adjust the scheduled build time for now, until the build tool
can be updated to support picking a target commit based on date limits.
This commit is contained in:
2022-12-04 21:22:28 +00:00
parent 1fa1a3be36
commit d351fb20ce
2 changed files with 2 additions and 2 deletions

View File

@@ -2,7 +2,7 @@
name: Nightly (emacs-28)
on:
schedule:
- cron: "0 0 * * *"
- cron: "0 23 * * *"
workflow_dispatch:
inputs:
git_sha:

View File

@@ -2,7 +2,7 @@
name: Nightly (master)
on:
schedule:
- cron: "0 0 * * *"
- cron: "0 23 * * *"
workflow_dispatch:
inputs:
git_sha: