Skip to content

Move coloring soundness tests to DIT#246

Merged
gdalle merged 1 commit intomainfrom
gd/coloring_tests_in_DIT
May 3, 2024
Merged

Move coloring soundness tests to DIT#246
gdalle merged 1 commit intomainfrom
gd/coloring_tests_in_DIT

Conversation

@gdalle
Copy link
Copy Markdown
Member

@gdalle gdalle commented May 3, 2024

No description provided.

@codecov-commenter
Copy link
Copy Markdown

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
@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