Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix typo in installation tutorial #438

Merged
merged 1 commit into from
Sep 14, 2023
Merged

Conversation

caguero
Copy link
Collaborator

@caguero caguero commented Sep 14, 2023

🦟 Bug fix

Summary

Minor fix in the installation tutorial.

Checklist

  • Signed all commits for DCO
  • Added tests
  • Updated documentation (as needed)
  • Updated migration guide (as needed)
  • Consider updating Python bindings (if the library has them)
  • codecheck passed (See contributing)
  • All tests passed (See test coverage)
  • While waiting for a review on your PR, please help review another open pull request to support the maintainers

Note to maintainers: Remember to use Squash-Merge and edit the commit message to match the pull request summary while retaining Signed-off-by messages.

Signed-off-by: Carlos Agüero <[email protected]>
@caguero caguero changed the title Fix typo in tutorial. Fix typo in installation tutorial Sep 14, 2023
@github-actions github-actions bot added the 🎵 harmonic Gazebo Harmonic label Sep 14, 2023
@azeey azeey added the beta Targeting beta release of upcoming collection label Sep 14, 2023
@codecov
Copy link

codecov bot commented Sep 14, 2023

Codecov Report

Merging #438 (1449d3c) into gz-transport13 (cddd341) will increase coverage by 0.12%.
The diff coverage is n/a.

❗ Current head 1449d3c differs from pull request most recent head a0a4efc. Consider uploading reports for the commit a0a4efc to get more accurate results

@@                Coverage Diff                 @@
##           gz-transport13     #438      +/-   ##
==================================================
+ Coverage           87.64%   87.76%   +0.12%     
==================================================
  Files                  59       59              
  Lines                5696     5696              
==================================================
+ Hits                 4992     4999       +7     
+ Misses                704      697       -7     

see 1 file with indirect coverage changes

@caguero caguero merged commit d92aed2 into gz-transport13 Sep 14, 2023
7 checks passed
@caguero caguero deleted the fix_install_tutorial branch September 14, 2023 18:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
beta Targeting beta release of upcoming collection 🎵 harmonic Gazebo Harmonic
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

2 participants