Skip to content

Skip inert placeholders instead of blocking, and give each substitution target its own budget - #1046

Merged
theoephraim merged 8 commits into
mainfrom
proxy-carry-inert-placeholders
Aug 30, 2026
Merged

Skip inert placeholders instead of blocking, and give each substitution target its own budget#1046
theoephraim merged 8 commits into
mainfrom
proxy-carry-inert-placeholders

Describe skipped-placeholder audit events per item, not per occurrence

6199b45
Select commit
Loading
Failed to load commit list.
Pullfrog / pullfrog succeeded Aug 30, 2026 in 2m 20s

Pullfrog run completed

The Pullfrog run finished successfully.

View the review Pullfrog posted →

View more details on Pullfrog