docs: general improvements #81

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Draft

jorgepiloto wants to merge 2 commits into main from docs/fix-logo

Member

jorgepiloto commented Jan 14, 2026 •

edited

Loading

This pull-request is a continuation of the #69. Changes include:

Fix of badges in README file
Usage of proper logo in the docs landing page
Fix rendering of the examples page

jorgepiloto added 2 commits

January 14, 2026 19:42


          fix: remove unnecessary logos

04fe7ee


          fix: update CI/CD badge in README

5173a87

github-actions bot added the fix label

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

Reviewers

ashelburn Awaiting requested review from ashelburn ashelburn will be requested when the pull request is marked ready for review ashelburn is a code owner

cpchou23 Awaiting requested review from cpchou23 cpchou23 will be requested when the pull request is marked ready for review cpchou23 is a code owner

At least 1 approving review is required to merge this pull request.

Labels

fix