Skip to content

Fix non-terminating sorted propagation#227

Merged
zayenz merged 1 commit into
mainfrom
feature/sort-element-propagation
Jul 14, 2026
Merged

Fix non-terminating sorted propagation#227
zayenz merged 1 commit into
mainfrom
feature/sort-element-propagation

Fix non-terminating sorted propagation

a94f083
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar