Skip to content

Add ConformanceTests.test_NCRing_interface_recursive#2390

Merged
fingolfin merged 2 commits intoNemocas:masterfrom
lgoettgens:lg/test_NCRing_interface_recursive
Apr 24, 2026
Merged

Add ConformanceTests.test_NCRing_interface_recursive#2390
fingolfin merged 2 commits intoNemocas:masterfrom
lgoettgens:lg/test_NCRing_interface_recursive

Conversation

@lgoettgens
Copy link
Copy Markdown
Member

No description provided.

@lgoettgens lgoettgens requested a review from fingolfin April 7, 2026 14:36
@lgoettgens lgoettgens added enhancement New feature or request release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes labels Apr 7, 2026
@codecov
Copy link
Copy Markdown

codecov Bot commented Apr 10, 2026

Codecov Report

❌ Patch coverage is 95.65217% with 1 line in your changes missing coverage. Please review.
✅ Project coverage is 88.15%. Comparing base (4052dbc) to head (07a6c86).
⚠️ Report is 5 commits behind head on master.

Files with missing lines Patch % Lines
ext/TestExt/Rings-conformance-tests.jl 95.65% 1 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##           master    #2390      +/-   ##
==========================================
+ Coverage   88.12%   88.15%   +0.02%     
==========================================
  Files         128      128              
  Lines       32886    32890       +4     
==========================================
+ Hits        28982    28993      +11     
+ Misses       3904     3897       -7     

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

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@lgoettgens
Copy link
Copy Markdown
Member Author

gentle bump @fingolfin

@fingolfin fingolfin merged commit 628206a into Nemocas:master Apr 24, 2026
24 checks passed
@lgoettgens lgoettgens deleted the lg/test_NCRing_interface_recursive branch April 24, 2026 12:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants