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

Disable Focal on Harmonic #868

Merged
merged 2 commits into from
Jul 25, 2023
Merged

Disable Focal on Harmonic #868

merged 2 commits into from
Jul 25, 2023

Conversation

azeey
Copy link
Contributor

@azeey azeey commented Jul 24, 2023

Summary

Harmonic only supports Jammy so removing Focal CI.

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: Addisu Z. Taddese <[email protected]>
@azeey azeey requested a review from iche033 as a code owner July 24, 2023 17:05
@github-actions github-actions bot added the 🎵 harmonic Gazebo Harmonic label Jul 24, 2023
@codecov
Copy link

codecov bot commented Jul 25, 2023

Codecov Report

Merging #868 (412efc8) into main (cab8b84) will increase coverage by 0.01%.
The diff coverage is n/a.

❗ Current head 412efc8 differs from pull request most recent head da01d5b. Consider uploading reports for the commit da01d5b to get more accurate results

@@            Coverage Diff             @@
##             main     #868      +/-   ##
==========================================
+ Coverage   75.02%   75.03%   +0.01%     
==========================================
  Files         183      176       -7     
  Lines       16311    16830     +519     
==========================================
+ Hits        12237    12629     +392     
- Misses       4074     4201     +127     

see 161 files with indirect coverage changes

@azeey azeey merged commit 54e6140 into main Jul 25, 2023
@azeey azeey deleted the azeey/ci_harmonic branch July 25, 2023 20:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🎵 harmonic Gazebo Harmonic
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

3 participants