Skip to content

Conversation

@PProfizi
Copy link
Contributor

@PProfizi PProfizi commented Jul 9, 2025

New branch based on #2409

@PProfizi PProfizi requested review from AnsMelanie and ansMHanmer July 9, 2025 09:21
@PProfizi PProfizi added the documentation Improvements or additions to documentation label Jul 9, 2025
@codecov
Copy link

codecov bot commented Jul 9, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 84.25%. Comparing base (894351e) to head (627e66c).
Report is 8 commits behind head on master.

✅ All tests successful. No failed tests found.

Additional details and impacted files
@@            Coverage Diff             @@
##           master    #2423      +/-   ##
==========================================
+ Coverage   84.16%   84.25%   +0.08%     
==========================================
  Files          91       91              
  Lines       10597    10675      +78     
==========================================
+ Hits         8919     8994      +75     
- Misses       1678     1681       +3     

@github-actions
Copy link
Contributor

github-actions bot commented Jul 9, 2025

Pull request documentation preview limit (10) reached: skipping documentation deployment for this pull request.

Copy link
Contributor

@ansMHanmer ansMHanmer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Tested well locally on my end so granting approval pending checks passing.

@PProfizi PProfizi merged commit 3106e33 into master Jul 10, 2025
46 checks passed
@PProfizi PProfizi deleted the doc/opertor_documentation_generation branch July 10, 2025 15:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants