Skip to content

Add access to sympy Or #227

Merged
nmbader merged 7 commits intomasterfrom
mbader/sympy-or
Feb 6, 2026
Merged

Add access to sympy Or #227
nmbader merged 7 commits intomasterfrom
mbader/sympy-or

Conversation

@nmbader
Copy link
Member

@nmbader nmbader commented Feb 5, 2026

No description provided.

@jkwashbourne-oss jkwashbourne-oss self-requested a review February 5, 2026 18:20
@codecov
Copy link

codecov bot commented Feb 5, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 97.59%. Comparing base (e56af7d) to head (8b950ab).
⚠️ Report is 8 commits behind head on master.

Additional details and impacted files
@@           Coverage Diff           @@
##           master     #227   +/-   ##
=======================================
  Coverage   97.59%   97.59%           
=======================================
  Files           3        3           
  Lines         790      791    +1     
=======================================
+ Hits          771      772    +1     
  Misses         19       19           

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

Copy link
Member

@jkwashbourne-oss jkwashbourne-oss left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

nice!

@nmbader nmbader merged commit f2abbd5 into master Feb 6, 2026
8 of 9 checks passed
@nmbader nmbader deleted the mbader/sympy-or branch February 6, 2026 16:27
@nmbader
Copy link
Member Author

nmbader commented Feb 6, 2026

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Comments on pull requests will not trigger Registrator, as it is disabled. Please try commenting on a commit or issue.

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.

4 participants