Skip to content

fix(facts): name changed files from the harness's own file-change records - #114

Merged
drewstone merged 8 commits into
mainfrom
fix/facts-changed-files-from-spans
Sep 10, 2026
Merged

fix(facts): name changed files from the harness's own file-change records#114
drewstone merged 8 commits into
mainfrom
fix/facts-changed-files-from-spans

fix(facts): give the changed-file list its own ceiling

0105628
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar