[GitHub PR #9 by allcontributors[bot]] docs: add jono-rams as a contributor for code, doc, and infra #8

Merged
jono merged 1 commits from github-pr-9 into main 2025-06-17 14:00:33 +00:00
Collaborator

Mirrored from GitHub PR #9 by allcontributors[bot]

Original PR: https://github.com/jono-rams/PolySolve/pull/9


Adds @jono-rams as a contributor for code, doc, infra.

This was requested by jono-rams in this comment

[skip ci]

**Mirrored from GitHub PR `#9` by `allcontributors[bot]`** Original PR: https://github.com/jono-rams/PolySolve/pull/9 --- Adds @jono-rams as a contributor for code, doc, infra. This was requested by jono-rams [in this comment](https://github.com/jono-rams/PolySolve/issues/8#issuecomment-2980501010) [skip ci]
gitea-bot added 1 commit 2025-06-17 13:59:48 +00:00
Apply patch from GitHub PR #9 by allcontributors[bot]
Some checks failed
Run Python Tests / test (3.10) (pull_request) Successful in 10s
Run Python Tests / test (3.12) (pull_request) Successful in 12s
Run Python Tests / test (3.8) (pull_request) Successful in 9s
Publish Python Package to PyPI / deploy (push) Has been cancelled
0a36e955a1
jono merged commit 0a36e955a1 into main 2025-06-17 14:00:33 +00:00
jono deleted branch github-pr-9 2025-06-17 14:00:33 +00:00
Sign in to join this conversation.
No Reviewers
No Label
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: jono/PolySolve#8
No description provided.