ci / fmt (pull_request) Successful in 31s
bench / build (pull_request) Successful in 1m1s
ci / clippy (pull_request) Successful in 1m55s
bench / measure (pull_request) Successful in 2m59s
ci / test (pull_request) Successful in 9m7s
ci / doc (pull_request) Successful in 1m42s
Gitea's concurrency group did not serialise two runs on benjy: the second run's scp failed with ETXTBSY on the binary the first was executing (safe, it happened before the miner was touched, but the run was lost). The pause, lock, measure and resume sequence now lives in bench-on-host.sh, executed over one ssh call under flock on the host, with per-run binary and record names so staging never collides. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01CBgs2nSi4H2mdh8kD8vMX5