Skip to content

Conversation

@AndrewSazonov
Copy link
Member

This PR includes a small set of related maintenance and polish improvements:

CI / GitHub Actions

  • Fixes and simplifies the backmerge workflow, ensuring correct creation and auto-merging of backmerge PRs from master into develop after a release tag.

Documentation & Output Polishing

  • Improves console section header formatting for clearer and more consistent CLI output.
  • Removes an unnecessary trailing newline in the Jupyter Notebook bootstrap snippet, avoiding creation of an extra cell (e.g. in Google Colab).

@AndrewSazonov AndrewSazonov added this to the New API Stabilization milestone Dec 25, 2025
@AndrewSazonov AndrewSazonov added the [scope] bug Bug report or fix (major.minor.PATCH) label Dec 25, 2025
@codecov
Copy link

codecov bot commented Dec 25, 2025

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 83.15%. Comparing base (4b8c008) to head (abc62e3).
⚠️ Report is 5 commits behind head on master.

Additional details and impacted files
@@           Coverage Diff           @@
##           master     #115   +/-   ##
=======================================
  Coverage   83.15%   83.15%           
=======================================
  Files          89       89           
  Lines        5455     5455           
  Branches      452      452           
=======================================
  Hits         4536     4536           
  Misses        753      753           
  Partials      166      166           
Flag Coverage Δ
integration 69.93% <0.00%> (ø)
unittests 73.34% <100.00%> (ø)

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

☔ 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.

@AndrewSazonov AndrewSazonov merged commit 41f5069 into master Dec 25, 2025
45 of 46 checks passed
@AndrewSazonov AndrewSazonov deleted the patch branch December 30, 2025 22:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

[scope] bug Bug report or fix (major.minor.PATCH)

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants