Skip to content

Minor fixes and polishing for TypeDB extension#114

Merged
whummer merged 4 commits into
mainfrom
typedb-fixes
Dec 17, 2025
Merged

Minor fixes and polishing for TypeDB extension#114
whummer merged 4 commits into
mainfrom
typedb-fixes

bump version to 0.1.2

fa05c3a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar