Skip to content

measured-elsewhere: a goal can pass FOR-THIS-REPO while every fact in it was measured elsewhere - #644

Merged
jobordu merged 1 commit into
mainfrom
tl/measured-elsewhere
Sep 7, 2026
Merged

measured-elsewhere: a goal can pass FOR-THIS-REPO while every fact in it was measured elsewhere#644
jobordu merged 1 commit into
mainfrom
tl/measured-elsewhere

Commits

Commits on Sep 7, 2026