Skip to content

Remove colorless theme monkeypatchfor argparse bug in 3.15.0b1#1674

Merged
tleonhardt merged 1 commit into
mainfrom
3.15.0b2-remove-monkeypatch
Jun 3, 2026
Merged

Remove colorless theme monkeypatchfor argparse bug in 3.15.0b1#1674
tleonhardt merged 1 commit into
mainfrom
3.15.0b2-remove-monkeypatch

Conversation

@tleonhardt
Copy link
Copy Markdown
Member

@tleonhardt tleonhardt commented Jun 3, 2026

Python 3.15.0b2 is out and available now in both uv and GitHub Actions.

This removes our monkeypatch around the argparse bug that was present in Python 3.15.0b1.

3.15.0b2 is out and available now in both uv and GitHub Actions.
@tleonhardt tleonhardt requested a review from kmvanbrunt as a code owner June 3, 2026 23:18
@codecov
Copy link
Copy Markdown

codecov Bot commented Jun 3, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 99.50%. Comparing base (31d0461) to head (aad61ac).

Additional details and impacted files
@@            Coverage Diff             @@
##             main    #1674      +/-   ##
==========================================
- Coverage   99.50%   99.50%   -0.01%     
==========================================
  Files          23       23              
  Lines        5689     5682       -7     
==========================================
- Hits         5661     5654       -7     
  Misses         28       28              
Flag Coverage Δ
unittests 99.50% <ø> (-0.01%) ⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

@tleonhardt tleonhardt merged commit 1288fb6 into main Jun 3, 2026
29 checks passed
@tleonhardt tleonhardt deleted the 3.15.0b2-remove-monkeypatch branch June 3, 2026 23:42
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.

1 participant