Scott Werner 0250b40586 Publish a successful run from its run_finished hook ... Pushing the run branch and opening the pull request now happen in the run's worker, in Fabro's run_finished hook, after the last stage and before the run's terminal record, as the legacy publish step did. A failed push or pull request fails the run with publish_failed instead of leaving a warning on a run that already succeeded. fabro-petri gains a RunPublisher the hooks call for a successful run with its run branch, final commit, snapshot repository and patch; the worker's GitHub publisher pushes from the snapshot repository with a push token it mints at that moment, opens the pull request its settings ask for, and records it. The worker resolves the server's GitHub credentials itself for both the read-only checkout token and the push token, so the server no longer hands it a clone credential or publishes after the run. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>		2026-10-01 13:00:26 -04:00
..
src	Publish a successful run from its run_finished hook	2026-10-01 13:00:26 -04:00
tests	Retry a finished run from the start	2026-10-01 11:14:45 -04:00
build.rs	refactor: organize crates into three layers	2026-07-23 17:59:34 -04:00
Cargo.toml	Use pebble's sandbox-driver adapter and delete fabro-pebble-sandbox	2026-09-21 17:42:15 -04:00