Skip to content

Conversation

@dipinknair
Copy link
Collaborator

@dipinknair dipinknair commented Jul 25, 2024

fixes #816

@github-actions github-actions bot added the documentation Improvements or additions to documentation label Jul 25, 2024
@codecov
Copy link

codecov bot commented Jul 25, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 81.85%. Comparing base (1e45c45) to head (22765d3).

Additional details and impacted files
@@            Coverage Diff             @@
##             main     #831      +/-   ##
==========================================
+ Coverage   81.80%   81.85%   +0.04%     
==========================================
  Files          32       32              
  Lines        2100     2100              
==========================================
+ Hits         1718     1719       +1     
+ Misses        382      381       -1     

@dipinknair dipinknair linked an issue Jul 25, 2024 that may be closed by this pull request
2 tasks
@dipinknair dipinknair self-assigned this Jul 25, 2024
@dipinknair dipinknair marked this pull request as ready for review July 26, 2024 13:32
@dipinknair dipinknair requested a review from a team as a code owner July 26, 2024 13:32
@dipinknair dipinknair requested a review from sbradrick July 26, 2024 13:33
Co-authored-by: sbradrick <139494502+sbradrick@users.noreply.github.com>
@dipinknair dipinknair requested a review from sbradrick July 26, 2024 14:25
@dipinknair dipinknair merged commit a0b522c into main Jul 26, 2024
@dipinknair dipinknair deleted the doc/remote-version branch July 26, 2024 17:55
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.

Version number ignored in launch_mechanical

4 participants