From 50e84866cfd3a2cc9ce57b7bd24f14b5f8eea69d Mon Sep 17 00:00:00 2001 From: Abdessamad Derraz <3028866+Abdess@users.noreply.github.com> Date: Tue, 27 Oct 2026 15:25:06 +0100 Subject: [PATCH] docs: autorun schedules nothing by default --- wiki/tools.md | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/wiki/tools.md b/wiki/tools.md index c389d35f4..80f7fa019 100644 --- a/wiki/tools.md +++ b/wiki/tools.md @@ -706,10 +706,12 @@ python scripts/refresh_stale.py --only platforms,targets --jobs 6 ### autorun.py -Runs the unattended jobs declared in `automation/jobs.yml`, one at a time. -The registry holds each job's commands, its gate, the artifacts computed -twice, the paths each commit may carry and the schedule. Changing any of -them is a reviewed commit. +Runs the jobs declared in `automation/jobs.yml`, one at a time. Nothing is +scheduled by default: a maintainer runs a job by hand, and a contributor who +wants a schedule on their own machine installs the timers below. The registry +holds each job's commands, its gate, the artifacts computed twice, the paths +each commit may carry and the schedule. Changing any of them is a reviewed +commit. | Guard | Rule | |-------|------|