From 0016ba80a23e1be42ac05777ff58be89bc7846aa Mon Sep 17 00:00:00 2001 From: Tak Hoffman <781889+Takhoffman@users.noreply.github.com> Date: Tue, 2 Jun 2026 10:18:09 -0500 Subject: [PATCH] Run proof nudges at 5am Central --- .github/workflows/proof-nudges.yml | 2 +- docs/proof-nudges.md | 2 +- test/clawsweeper.test.ts | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/proof-nudges.yml b/.github/workflows/proof-nudges.yml index cff0786b3c..07a5cd5a86 100644 --- a/.github/workflows/proof-nudges.yml +++ b/.github/workflows/proof-nudges.yml @@ -30,7 +30,7 @@ on: required: false default: "" schedule: - - cron: "44 9 * * *" + - cron: "0 10 * * *" permissions: contents: read diff --git a/docs/proof-nudges.md b/docs/proof-nudges.md index 663a1c0ec8..71790804f5 100644 --- a/docs/proof-nudges.md +++ b/docs/proof-nudges.md @@ -60,7 +60,7 @@ Useful options: The `ClawSweeper Proof Nudges` workflow exposes this as a manual `workflow_dispatch` lane. It defaults to dry-run. Use `execute=true` only after reviewing a dry-run report. -The workflow also includes a daily scheduled lane at `44 9 * * *`, but it is off by default. This lets maintainers enable scheduled proof nudges later without another code change. +The workflow also includes a daily scheduled lane at `0 10 * * *`, which is 5:00 AM Central during daylight time, but it is off by default. This lets maintainers enable scheduled proof nudges later without another code change. Scheduled operation uses repository variables: diff --git a/test/clawsweeper.test.ts b/test/clawsweeper.test.ts index 1dfe2aa5b1..0ef0edc457 100644 --- a/test/clawsweeper.test.ts +++ b/test/clawsweeper.test.ts @@ -16084,7 +16084,7 @@ test("proof nudge workflow is manual-first and scheduled behind repo vars", () = assert.doesNotMatch(sweepWorkflow, /proof_nudges/); assert.match(workflow, /execute:[\s\S]*?default: "false"/); - assert.match(workflow, /cron: "44 9 \* \* \*"/); + assert.match(workflow, /cron: "0 10 \* \* \*"/); assert.match(concurrency, /clawsweeper-proof-nudges/); assert.match(job, /github\.event_name == 'workflow_dispatch'/); assert.match(job, /vars\.CLAWSWEEPER_PROOF_NUDGES_SCHEDULED == '1'/);