From 99b5df9b9ce5baec800ca3c24a6a3e4b219bea5c Mon Sep 17 00:00:00 2001 From: Daniel Reis Date: Mon, 21 Sep 2026 16:01:03 -0300 Subject: [PATCH] chore(sync): run the GitHub schedule once a day Schedule upstream synchronization at 07:07 UTC daily instead of every 15 minutes. GitHub owns the schedule; the separate devbox dispatch timer is disabled. Validation: actionlint and scoped workflow formatting check passed. --- .github/workflows/upstream-sync.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/upstream-sync.yml b/.github/workflows/upstream-sync.yml index 9903364d7181..37da8fc78720 100644 --- a/.github/workflows/upstream-sync.yml +++ b/.github/workflows/upstream-sync.yml @@ -2,7 +2,7 @@ name: Upstream nightly sync on: schedule: - - cron: "7,22,37,52 * * * *" + - cron: "7 7 * * *" workflow_dispatch: permissions: