Skip to content

Conversation

@fingolfin
Copy link
Member

No description provided.

@fingolfin fingolfin added the release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes label Jan 13, 2026
@thofma
Copy link
Member

thofma commented Jan 13, 2026

test failure looks real

@fingolfin
Copy link
Member Author

Indeed, I accidentally left in a change to fmpz.jl from another experiment.

@codecov
Copy link

codecov bot commented Jan 13, 2026

Codecov Report

❌ Patch coverage is 21.87500% with 50 lines in your changes missing coverage. Please review.
✅ Project coverage is 88.28%. Comparing base (9a25e23) to head (a94b9ca).

Files with missing lines Patch % Lines
src/flint/fmpz_mod_poly.jl 30.76% 18 Missing ⚠️
src/flint/gfp_elem.jl 0.00% 11 Missing ⚠️
src/flint/fmpz_poly.jl 0.00% 10 Missing ⚠️
src/flint/fmpz_mod_abs_series.jl 0.00% 6 Missing ⚠️
src/antic/nf_elem.jl 0.00% 3 Missing ⚠️
src/HeckeMoreStuff.jl 0.00% 1 Missing ⚠️
src/flint/nmod.jl 0.00% 1 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##           master    #2230      +/-   ##
==========================================
- Coverage   88.29%   88.28%   -0.01%     
==========================================
  Files         100      100              
  Lines       37202    37202              
==========================================
- Hits        32847    32844       -3     
- Misses       4355     4358       +3     

☔ 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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants