Skip to content

Polish the repo for public release - #8

Merged
LucaGerlich merged 1 commit into
mainfrom
docs/public-polish
Aug 18, 2026
Merged

Polish the repo for public release#8
LucaGerlich merged 1 commit into
mainfrom
docs/public-polish

docs: rewrite README for users and add release documentation

2cd5fc3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar