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

Add missing signal.h includes #851

Merged
merged 1 commit into from Nov 22, 2021
Merged

Add missing signal.h includes #851

merged 1 commit into from Nov 22, 2021

Conversation

bocon13
Copy link
Member

@bocon13 bocon13 commented Nov 5, 2021

Required for failing tests in #850

Not sure why compilation failures are happening now... possibly due to a dropped include in newer versions of gRPC

cc: @koconnor29

@bocon13 bocon13 added this to the 2021-12 Release milestone Nov 18, 2021
@codecov
Copy link

codecov bot commented Nov 22, 2021

Codecov Report

Merging #851 (47c1e9d) into main (9ed093a) will increase coverage by 0.00%.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##             main     #851   +/-   ##
=======================================
  Coverage   78.57%   78.57%           
=======================================
  Files         334      334           
  Lines       30019    30019           
=======================================
+ Hits        23586    23587    +1     
+ Misses       6433     6432    -1     
Impacted Files Coverage Δ
stratum/hal/lib/common/admin_service.cc 80.40% <ø> (ø)
stratum/p4c_backends/fpm/parser_field_mapper.cc 92.02% <0.00%> (+0.26%) ⬆️

@bocon13 bocon13 merged commit 7ade5ba into main Nov 22, 2021
@bocon13 bocon13 deleted the bocon/signal-include branch November 22, 2021 10:14
@bocon13 bocon13 restored the bocon/signal-include branch November 22, 2021 10:21
@pudelkoM pudelkoM deleted the bocon/signal-include branch November 22, 2021 18:47
@pudelkoM pudelkoM restored the bocon/signal-include branch November 22, 2021 18:48
@bocon13 bocon13 deleted the bocon/signal-include branch December 14, 2021 02:23
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

2 participants