Skip to content

Move coloring soundness tests to DIT #246

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

Merged
merged 1 commit into from
May 3, 2024
Merged

Conversation

gdalle
Copy link
Member

@gdalle gdalle commented May 3, 2024

No description provided.

@codecov-commenter
Copy link

codecov-commenter commented May 3, 2024

Codecov Report

Attention: Patch coverage is 0% with 34 lines in your changes are missing coverage. Please review.

Project coverage is 95.32%. Comparing base (5aaed92) to head (04b6dec).

Files Patch % Lines
DifferentiationInterfaceTest/src/tests/coloring.jl 0.00% 34 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##             main     #246      +/-   ##
==========================================
- Coverage   96.03%   95.32%   -0.72%     
==========================================
  Files          73       74       +1     
  Lines        3936     3936              
==========================================
- Hits         3780     3752      -28     
- Misses        156      184      +28     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@gdalle gdalle merged commit 3d6e41a into main May 3, 2024
5 checks passed
@gdalle gdalle deleted the gd/coloring_tests_in_DIT branch May 3, 2024 12:49
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