Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .github/workflows/proof-nudges.yml
Original file line number Diff line number Diff line change
Expand Up @@ -30,7 +30,7 @@ on:
required: false
default: ""
schedule:
- cron: "44 9 * * *"
- cron: "0 10 * * *"

permissions:
contents: read
Expand Down
2 changes: 1 addition & 1 deletion docs/proof-nudges.md
Original file line number Diff line number Diff line change
Expand Up @@ -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:

Expand Down
2 changes: 1 addition & 1 deletion test/clawsweeper.test.ts
Original file line number Diff line number Diff line change
Expand Up @@ -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'/);
Expand Down
Loading