Skip to content

Separate an empty source from an unmatched scope, and let a verified-empty source converge - #114

Merged
nodo merged 10 commits into
mainfrom
nodo/cor-1300-empty-source-converged
Aug 24, 2026
Merged

Separate an empty source from an unmatched scope, and let a verified-empty source converge#114
nodo merged 10 commits into
mainfrom
nodo/cor-1300-empty-source-converged

Address review: check relay first, and pin the scope primitives where…

3184dac
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar