[probonopd]

Draft, not to be merged yet.

GitHub starts this repository's scheduled "Nightly" runs hours late. Scheduled for 01:17 UTC, they started at 07:45 (11-11), 08:19 (11-12), 07:57 (11-13) and 07:36 UTC (11-14): 6h19 to 7h02 late, 6.6 hours on average. Since #11925 (cron 7 23 * * *) the first slot, 23:07 UTC on 11-14, had not started 1h40 later, consistent with that.

To begin around midnight German time (23:00 UTC, 00:00 in winter), the cron slot is moved 6.5 hours earlier: 37 16 * * * (16:37 UTC). With the observed delay (6.3 to 7.0 hours) the start falls between about 22:55 and 23:40 UTC. The run takes about 4 hours at most (every step is capped), so it ends well before 7:00 German time.

Caveats:

• If GitHub's delay shrinks, the run starts earlier (up to about 6 hours earlier, i.e. in the late evening); if it grows beyond about 9 hours it ends after 7:00. The comment in the workflow says to adjust the time then.
• The cron is in UTC, so in summer time the start is one hour earlier relative to German clocks (about 01:00 CEST, still before 07:00).
• It is worth looking at the delay of the first runs after the new slot before merging (the 23:07 slot's run has not shown up as of 00:50 UTC on 11-15).

AGENTS.md and MAINTAINER.md updated; actionlint is clean.

---

Generated by Claude Code