Skip to content

Add search to docs - #366

Merged
nikgraf merged 2 commits into
graphprotocol:mainfrom
hashirpm:hashirpm/add-docs-search
Jul 24, 2025
Merged

Add search to docs#366
nikgraf merged 2 commits into
graphprotocol:mainfrom
hashirpm:hashirpm/add-docs-search

Conversation

@hashirpm

Copy link
Copy Markdown
Contributor

Closes #336

@nikgraf
nikgraf merged commit 9e558c0 into graphprotocol:main Jul 24, 2025
3 of 5 checks passed
@nikgraf

nikgraf commented Jul 24, 2025

Copy link
Copy Markdown
Collaborator

thanks @hashirpm

@hashirpm
hashirpm deleted the hashirpm/add-docs-search branch July 24, 2025 11:20
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.

Add search to the docs

2 participants