Skip to content

Fix/datatype uninterpreted sort#12

Merged
kiranandcode merged 2 commits into
mainfrom
fix/datatype-uninterpreted-sort
May 27, 2026
Merged

Fix/datatype uninterpreted sort#12
kiranandcode merged 2 commits into
mainfrom
fix/datatype-uninterpreted-sort

Add CI lint job (ruff format, ruff check, mypy) and fix all violations

4c3b998
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
lint
succeeded May 27, 2026 in 15s