Skip to content

Conversation

@Josverl
Copy link
Owner

@Josverl Josverl commented Aug 28, 2025

closes : Josverl/micropython-stubs#824

Signed-off-by: Jos Verlinde [email protected]

@Josverl Josverl self-assigned this Aug 28, 2025
@Josverl Josverl added enhancement New feature or request dependencies Pull requests that update a dependency file labels Aug 28, 2025
@codecov
Copy link

codecov bot commented Aug 28, 2025

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 78.05%. Comparing base (14fc4f1) to head (8c44434).
⚠️ Report is 15 commits behind head on main.

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #677   +/-   ##
=======================================
  Coverage   78.05%   78.05%           
=======================================
  Files          70       70           
  Lines        6453     6453           
  Branches     1079     1079           
=======================================
  Hits         5037     5037           
  Misses       1054     1054           
  Partials      362      362           

☔ 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.
  • 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

@Josverl Josverl closed this Sep 1, 2025
@Josverl Josverl reopened this Sep 1, 2025
@Josverl Josverl merged commit 0921a6c into main Sep 1, 2025
19 checks passed
@Josverl Josverl deleted the stdlib_depends branch September 1, 2025 22:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Set minimal stdlib version for packages

2 participants