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

Adapt to recent vee/hat change in ManifoldsBase #680

Merged
merged 1 commit into from
Nov 9, 2023

Conversation

mateuszbaran
Copy link
Member

JuliaManifolds/ManifoldsBase.jl#173 broke some tests here and this fixes them.

@mateuszbaran mateuszbaran added Ready-for-Review A label for pull requests that are feature-ready preview docs Add this label if you want to see a PR-preview of the documentation labels Nov 9, 2023
Copy link

codecov bot commented Nov 9, 2023

Codecov Report

Merging #680 (caade58) into master (2104bef) will decrease coverage by 0.01%.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##           master     #680      +/-   ##
==========================================
- Coverage   99.57%   99.56%   -0.01%     
==========================================
  Files         108      108              
  Lines       10678    10678              
==========================================
- Hits        10633    10632       -1     
- Misses         45       46       +1     
Files Coverage Δ
ext/ManifoldsTestExt/tests_general.jl 99.15% <100.00%> (ø)
src/manifolds/Circle.jl 100.00% <100.00%> (ø)

... and 1 file with indirect coverage changes

📣 Codecov offers a browser extension for seamless coverage viewing on GitHub. Try it in Chrome or Firefox today!

@kellertuer
Copy link
Member

Looks good in general to me, besides the loss of one line in codecov?

@mateuszbaran
Copy link
Member Author

That looks completely unrelated to this PR, so I'd ignore it for now.

Copy link
Member

@kellertuer kellertuer left a comment

Choose a reason for hiding this comment

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

Ok.

@mateuszbaran mateuszbaran merged commit 5d267d5 into master Nov 9, 2023
24 of 25 checks passed
@kellertuer kellertuer deleted the mbaran/fix-circle-basis branch May 4, 2024 17:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
preview docs Add this label if you want to see a PR-preview of the documentation Ready-for-Review A label for pull requests that are feature-ready
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants