Skip to content

Remove todo

e5a9d8b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Purge sort depending functions in favor of parametric functions #3773

Remove todo
e5a9d8b
Select commit
Loading
Failed to load commit list.
integration-tests (testProveRules, ubuntu-latest, 21)
succeeded Apr 21, 2026 in 3m 0s