Skip to content

fix(orm): let union sources anchor their own index range - #394

Merged
zbeyens merged 4 commits into
mainfrom
fix/union-sources-index-anchoring
Aug 21, 2026
Merged

fix(orm): let union sources anchor their own index range#394
zbeyens merged 4 commits into
mainfrom
fix/union-sources-index-anchoring

record union autoclosure proof

4a2c113
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar