d5ecac3fee
Rerun attempts restart jobs under the same run_id and do not re-register into the workflow's concurrency group. When a real fix-commit lands while a rerun is in flight, cancel-in-progress cannot gate the old rerun, so two runs race to completion and operators pay CI twice. Push an empty commit (`git commit --allow-empty`) instead — it participates in the concurrency group cleanly and the next real push cancels it as expected. Add the guidance to docs/agents/contributing.md and wire a trigger in AGENTS.md so any agent asked to "rerun CI" or "retry the failed build" reaches for the empty commit first. Assisted-By: Claude <noreply@anthropic.com> Signed-off-by: Aleksei Sviridkin <f@lex.la> |
||
|---|---|---|
| .. | ||
| changelog.md | ||
| contributing.md | ||
| overview.md | ||
| releasing.md | ||