obs: quiet quality-delta PR comment + repo-health metric history on main - #1477

Closed

devin-ai-integration[bot] wants to merge 9 commits into

mainfrom

devin/1785254908-quality-delta-comment

Commits on Jul 28, 2026

obs: quiet quality-delta PR comment + metric history on main

thymikee
and
devin-ai-integration[bot]
committed
quality-delta: track the producerInputs field added to artifact provenance

thymikee
and
devin-ai-integration[bot]
committed
quality-delta: unexport the heading and split the history append out of the CLI shell

thymikee
and
devin-ai-integration[bot]
committed
quality-delta: render after both producers finish, label inexact baselines, generalize the comment marker

thymikee
and
devin-ai-integration[bot]
committed
obs: refuse to render a superseded head in the quality-delta comment

thymikee
and
devin-ai-integration[bot]
committed
quality-delta: consume the merged artifact freshness status from #1423

thymikee
and
devin-ai-integration[bot]
committed
quality-delta: re-verify the PR head inside the comment write path

thymikee
and
devin-ai-integration[bot]
committed
quality-delta: post through the pnpm size script after main's workflow refactor

thymikee
and
devin-ai-integration[bot]
committed
quality-delta: serialize comment writes per pull request, not per head sha

thymikee
and
devin-ai-integration[bot]
committed