Skip to content
New issue

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

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

Already on GitHub? # to your account

Install boost on jazzy as well (backport #273) #275

Merged
merged 1 commit into from
Jan 31, 2025

Conversation

mergify[bot]
Copy link

@mergify mergify bot commented Jan 31, 2025

see #270


This is an automatic backport of pull request #273 done by Mergify.

@codecov-commenter
Copy link

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 70.72%. Comparing base (2206957) to head (2ef1c9a).

Additional details and impacted files
@@           Coverage Diff           @@
##            jazzy     #275   +/-   ##
=======================================
  Coverage   70.72%   70.72%           
=======================================
  Files           9        9           
  Lines         526      526           
  Branches       87       87           
=======================================
  Hits          372      372           
  Misses         99       99           
  Partials       55       55           
Flag Coverage Δ
unittests 70.72% <ø> (ø)

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

Copy link
Member

@saikishor saikishor left a comment

Choose a reason for hiding this comment

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

Do we need to backport these as well?
Apart from that LGTM

@christophfroehlich christophfroehlich merged commit 388a011 into jazzy Jan 31, 2025
12 checks passed
@christophfroehlich christophfroehlich deleted the mergify/bp/jazzy/pr-273 branch January 31, 2025 10:43
@christophfroehlich
Copy link
Contributor

I had to force push the 3.2.0 release to the jazzy branch, thats why I have to do that again here

# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants