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

Clean up includes #4575

Merged
merged 1 commit into from
Jan 20, 2025
Merged

Clean up includes #4575

merged 1 commit into from
Jan 20, 2025

Conversation

randombit
Copy link
Owner

Various files included numthry.h or reducer.h but no longer needed them. Others were not including them but instead picking them up from other headers (mostly from reducer.h including numthry.h)

@coveralls
Copy link

coveralls commented Jan 20, 2025

Coverage Status

coverage: 91.21% (-0.003%) from 91.213%
when pulling c7b4101 on jack/cleanup-up-includes
into 9eae7c1 on master.

@randombit randombit force-pushed the jack/cleanup-up-includes branch from b00edae to c7b4101 Compare January 20, 2025 13:45
Various files included numthry.h or reducer.h but no longer needed them.
Other files needed them but were getting the declarations via some other
header (mostly reducer.h, which previously included numthry.h)
@randombit randombit merged commit 5df07fe into master Jan 20, 2025
39 checks passed
@randombit randombit deleted the jack/cleanup-up-includes branch January 20, 2025 18:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants