Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Handle more mixed dynamic-static cases #112

Open
wants to merge 6 commits into
base: master
Choose a base branch
from

Conversation

YichengDWu
Copy link

No description provided.

@YichengDWu YichengDWu marked this pull request as draft May 12, 2023 16:44
@YichengDWu YichengDWu marked this pull request as ready for review May 12, 2023 16:48
@codecov
Copy link

codecov bot commented May 12, 2023

Codecov Report

Merging #112 (754e9f6) into master (a936028) will decrease coverage by 0.28%.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##           master     #112      +/-   ##
==========================================
- Coverage   98.86%   98.58%   -0.28%     
==========================================
  Files           3        3              
  Lines         702      707       +5     
==========================================
+ Hits          694      697       +3     
- Misses          8       10       +2     
Impacted Files Coverage Δ
src/Static.jl 98.12% <100.00%> (-0.46%) ⬇️

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

@chriselrod
Copy link
Collaborator

Can you add tests?

@YichengDWu
Copy link
Author

Sure thing, would do.

@YichengDWu
Copy link
Author

YichengDWu commented May 12, 2023

I deleted Base.:(/)(x::Zero, ::Union{AbstractFloat, AbstractIrrational, Integer, Rational}) = x since 0/0=NaN.

@Tokazama
Copy link
Collaborator

@chriselrod , a superficial look at those test failures doesn't seem to be due to this PR. Are those known test failures?

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.

3 participants