From 99cbba7aff2bd78c62486212f6968c0cca62870c Mon Sep 17 00:00:00 2001 From: Kristoffer Dalby Date: Sun, 27 Sep 2026 18:56:10 +0000 Subject: [PATCH] .github: run the version bump daily AGENTS.md says the tool "opens one pull request a day", but the workflow only had workflow_dispatch, so since it merged it has run zero times. --- .github/workflows/version-bump.yml | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/.github/workflows/version-bump.yml b/.github/workflows/version-bump.yml index 3d5eb627..17a07d8f 100644 --- a/.github/workflows/version-bump.yml +++ b/.github/workflows/version-bump.yml @@ -6,8 +6,15 @@ name: Version Bump # same derivations nix-checks.yml then gets as cache hits. See gc.yml for the # scoping rule. # -# The schedule is added once the manual runs have been trusted for a while. +# The schedule only ever fires upstream: the job guard below falls through to +# the repository check for anything that is not a manual dispatch, and GitHub +# does not run schedules in forks to begin with. on: + schedule: + # Early enough that a pull request opened here has its checks done by the + # time anyone looks, and far from the hours the integration matrix is + # usually busy. + - cron: "0 4 * * *" workflow_dispatch: inputs: dry-run: