Skip to content

gh-147: added new badges#148

Merged
gcanasherrera merged 1 commit into
mainfrom
147-update-badges-on-readme
May 27, 2026
Merged

gh-147: added new badges#148
gcanasherrera merged 1 commit into
mainfrom
147-update-badges-on-readme

Conversation

@gcanasherrera

Copy link
Copy Markdown
Member

🚀 Pull Request Checklist

✅ Summary

New badges for all contributors number count and arxiv added


✅ PR Checklist for Developers

  • I have titled this PR before merging as "gh-#:", where "#" represents the task it closes
  • I have run locally pre-commit using pre-commit run --all-files
  • I have tested my changes locally
  • No new warnings or errors introduced
  • I have updated documentation (if applicable)
  • My changes do not introduce breaking changes
  • I have added tests (if applicable)
  • I have consistently updated the GitHub information for the project, including milestones, task types, and other relevant details.

✅ PR Checklist for Reviewers

  • The next PR targets the correct branch
  • CI tests have run and passed for the latest commit on the source branch
  • Check that the code can still be installed if new packages are imported
  • If necessary, the notebooks in the playground will be updated in a corresponding follow-up PR
  • Coverage percentage is retained or increased
  • Quality of new/changed code is acceptable
  • Quality of new/changed unit tests is acceptable
  • No data files have been included in the commits
  • Implementation follows the agreed task description point by point
  • Check that there are no No newline at the end of file warnings
  • Check that any added folder/file has been added to the README.md file
  • Check that the documentation has been updated accordantly
  • Check that the corresponding branch has been deleted after merging. If not, delete it

@gcanasherrera gcanasherrera added this to the v0.3 milestone May 25, 2026
@gcanasherrera gcanasherrera self-assigned this May 25, 2026
@gcanasherrera gcanasherrera added documentation Improvements or additions to documentation maintenance labels May 25, 2026
@gcanasherrera gcanasherrera linked an issue May 25, 2026 that may be closed by this pull request
@gcanasherrera gcanasherrera merged commit e31733c into main May 27, 2026
3 checks passed
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 maintenance

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Update badges on README

1 participant