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

"improve" norm, fixes Oscar #2541 #1175

Merged
merged 1 commit into from
Jul 27, 2023
Merged

"improve" norm, fixes Oscar #2541 #1175

merged 1 commit into from
Jul 27, 2023

Conversation

fieker
Copy link
Collaborator

@fieker fieker commented Jul 27, 2023

No description provided.

@thofma thofma closed this Jul 27, 2023
@thofma thofma reopened this Jul 27, 2023
@codecov
Copy link

codecov bot commented Jul 27, 2023

Codecov Report

Patch coverage: 100.00% and project coverage change: -0.10% ⚠️

Comparison is base (4129516) 74.41% compared to head (2eb26be) 74.31%.

Additional details and impacted files
@@            Coverage Diff             @@
##           master    #1175      +/-   ##
==========================================
- Coverage   74.41%   74.31%   -0.10%     
==========================================
  Files         346      346              
  Lines      110373   110373              
==========================================
- Hits        82130    82021     -109     
- Misses      28243    28352     +109     
Files Changed Coverage Δ
src/LocalField/Elem.jl 80.34% <100.00%> (ø)

... and 30 files with indirect coverage changes

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

@thofma thofma merged commit 6a2a5e1 into master Jul 27, 2023
19 of 30 checks passed
@thofma thofma deleted the localNorm branch July 27, 2023 19:49
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.

2 participants