Skip to content

Implement usethis badge ty#1462

Merged
nathanjmcdougall merged 2 commits into
mainfrom
copilot/implement-usethis-badge-ty
Mar 22, 2026
Merged

Implement usethis badge ty#1462
nathanjmcdougall merged 2 commits into
mainfrom
copilot/implement-usethis-badge-ty

Conversation

Copilot AI commented Mar 22, 2026

Copy link
Copy Markdown
Contributor

Add badge support for the ty type checker.

usethis badge ty

Renders: ty

  • src/usethis/_core/badge.py: Add get_ty_badge() and include it in get_badge_order() after Ruff
  • src/usethis/_ui/interface/badge.py: Add ty CLI command with standard --remove/--show/--offline/--quiet options
  • tests/usethis/_ui/interface/test_interface_badge.py: Add TestTy (add, remove, show)
  • docs/cli/reference.md: Add ty badge entry
Original prompt

This section details on the original issue you should resolve

<issue_title>Implement usethis badge ty</issue_title>
<issue_description>ty</issue_description>

Comments on the Issue (you are @copilot in this section)


✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

Add a badge for the ty type checker from Astral. The badge uses the
endpoint URL from the ty repository's assets.

Changes:
- Add get_ty_badge() function in src/usethis/_core/badge.py
- Add ty to badge ordering in get_badge_order()
- Add ty CLI command in src/usethis/_ui/interface/badge.py
- Add tests for ty badge in tests/usethis/_ui/interface/test_interface_badge.py
- Update docs/cli/reference.md with ty badge entry

Co-authored-by: nathanjmcdougall <18602289+nathanjmcdougall@users.noreply.github.com>
Agent-Logs-Url: https://github.com/usethis-python/usethis-python/sessions/9a568c69-1340-45e1-bc80-2c3cd91a906a
Copilot AI changed the title [WIP] Add usethis badge for ty implementation Implement usethis badge ty Mar 22, 2026
Copilot AI requested a review from nathanjmcdougall March 22, 2026 19:00
@nathanjmcdougall nathanjmcdougall marked this pull request as ready for review March 22, 2026 19:05
@codspeed-hq

codspeed-hq Bot commented Mar 22, 2026

Copy link
Copy Markdown

Merging this PR will not alter performance

✅ 2 untouched benchmarks


Comparing copilot/implement-usethis-badge-ty (80ea5da) with main (36d4e7e)

Open in CodSpeed

@nathanjmcdougall nathanjmcdougall merged commit f75c498 into main Mar 22, 2026
19 checks passed
@nathanjmcdougall nathanjmcdougall deleted the copilot/implement-usethis-badge-ty branch March 22, 2026 19:23
@codecov

codecov Bot commented Mar 22, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ All tests successful. No failed tests found.

📢 Thoughts on this report? Let us know!

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.

Implement usethis badge ty

2 participants