Skip to content

Revise and polish project documentation#8

Merged
habedi merged 5 commits into
mainfrom
develop
Jun 3, 2026
Merged

Revise and polish project documentation#8
habedi merged 5 commits into
mainfrom
develop

Conversation

@habedi

@habedi habedi commented Jun 3, 2026

Copy link
Copy Markdown
Member
  • Revised and polished project documentation.
  • Set the version to v0.1.0-alpha.5.

@habedi habedi self-assigned this Jun 3, 2026
@habedi habedi added the documentation Improvements or additions to documentation label Jun 3, 2026
@habedi habedi merged commit a0a41b7 into main Jun 3, 2026
14 checks passed
@habedi habedi deleted the develop branch June 3, 2026 20:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant