Skip to content

Add documentation badge#62

Open
AlekSi wants to merge 1 commit into
google:mainfrom
AlekSi:badge
Open

Add documentation badge#62
AlekSi wants to merge 1 commit into
google:mainfrom
AlekSi:badge

Conversation

@AlekSi

@AlekSi AlekSi commented Dec 25, 2025

Copy link
Copy Markdown

README says:

See the package documentation for usage.

But there is no link to documentation. This PR adds it.

@AlekSi

AlekSi commented Feb 10, 2026

Copy link
Copy Markdown
Author

Gentle ping

@constraintAutomaton

Copy link
Copy Markdown

I would be nice if this PR would be merged, I also had a hard time to find the documentation.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants