Skip to content

move random to extension#174

Merged
daanhb merged 1 commit intomasterfrom
dh/randext
Jul 28, 2025
Merged

move random to extension#174
daanhb merged 1 commit intomasterfrom
dh/randext

Conversation

@daanhb
Copy link
Copy Markdown
Member

@daanhb daanhb commented Jul 28, 2025

No description provided.

@codecov
Copy link
Copy Markdown

codecov Bot commented Jul 28, 2025

Codecov Report

❌ Patch coverage is 80.00000% with 1 line in your changes missing coverage. Please review.
✅ Project coverage is 93.91%. Comparing base (793535e) to head (66a6ed9).
⚠️ Report is 4 commits behind head on master.

Files with missing lines Patch % Lines
ext/DomainSetsRandomExt.jl 80.00% 1 Missing ⚠️
Additional details and impacted files
@@           Coverage Diff           @@
##           master     #174   +/-   ##
=======================================
  Coverage   93.91%   93.91%           
=======================================
  Files          27       27           
  Lines        1842     1842           
=======================================
  Hits         1730     1730           
  Misses        112      112           

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

@daanhb daanhb merged commit 50473d0 into master Jul 28, 2025
8 of 9 checks passed
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.

1 participant