Skip to content

Add a stub for extra-proposal - #353

Merged
JamesWrigley merged 1 commit into
masterfrom
extra-proposal
Jul 8, 2025
Merged

Add a stub for extra-proposal#353
JamesWrigley merged 1 commit into
masterfrom
extra-proposal

Conversation

@JamesWrigley

Copy link
Copy Markdown
Member

I'm leaving this undocumented for now so that we have some freedom to change the API after some more testing.

@JamesWrigley JamesWrigley added this to the 2025.2 milestone Jul 2, 2025
@JamesWrigley JamesWrigley self-assigned this Jul 2, 2025
@JamesWrigley JamesWrigley added enhancement New feature or request skip-changelog Tell the CI that a changelog entry isn't necessary labels Jul 2, 2025
@JamesWrigley
JamesWrigley requested a review from takluyver July 2, 2025 08:14
@codecov

codecov Bot commented Jul 2, 2025

Copy link
Copy Markdown

Codecov Report

❌ Patch coverage is 0% with 1 line in your changes missing coverage. Please review.
✅ Project coverage is 57.87%. Comparing base (4b0aeb6) to head (9f5488c).
⚠️ Report is 84 commits behind head on master.

Files with missing lines Patch % Lines
src/extra/proposal/__init__.py 0.00% 1 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##           master     #353      +/-   ##
==========================================
- Coverage   57.89%   57.87%   -0.02%     
==========================================
  Files          30       31       +1     
  Lines        4904     4905       +1     
==========================================
  Hits         2839     2839              
- Misses       2065     2066       +1     

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

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@takluyver

Copy link
Copy Markdown
Member

LGTM

@JamesWrigley
JamesWrigley merged commit ec8c241 into master Jul 8, 2025
8 of 10 checks passed
@JamesWrigley
JamesWrigley deleted the extra-proposal branch July 8, 2025 10:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request skip-changelog Tell the CI that a changelog entry isn't necessary

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants