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 valgrind build #2875

Merged
merged 5 commits into from
Feb 8, 2023
Merged

Fix valgrind build #2875

merged 5 commits into from
Feb 8, 2023

Conversation

AviAvni
Copy link
Collaborator

@AviAvni AviAvni commented Feb 8, 2023

No description provided.

@codecov
Copy link

codecov bot commented Feb 8, 2023

Codecov Report

Base: 90.05% // Head: 90.04% // Decreases project coverage by -0.02% ⚠️

Coverage data is based on head (1eeb37a) compared to base (ddcbcf4).
Patch coverage: 0.00% of modified lines in pull request are covered.

❗ Current head 1eeb37a differs from pull request most recent head 0a00a55. Consider uploading reports for the commit 0a00a55 to get more accurate results

Additional details and impacted files
@@            Coverage Diff             @@
##           master    #2875      +/-   ##
==========================================
- Coverage   90.05%   90.04%   -0.02%     
==========================================
  Files         270      270              
  Lines       26151    26149       -2     
==========================================
- Hits        23551    23545       -6     
- Misses       2600     2604       +4     
Impacted Files Coverage Δ
src/util/thpool/thpool.c 62.25% <0.00%> (+0.81%) ⬆️
src/procedures/proc_sp_paths.c 92.26% <0.00%> (-3.16%) ⬇️
src/procedures/proc_ss_paths.c 92.15% <0.00%> (+1.45%) ⬆️

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

☔ View full report at Codecov.
📢 Do you have feedback about the report comment? Let us know in this issue.

@AviAvni AviAvni merged commit a24a191 into master Feb 8, 2023
@AviAvni AviAvni deleted the fix-for-valgrind branch February 8, 2023 13:31
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.

None yet

1 participant