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

Move Examples. #331

Merged
merged 14 commits into from
Dec 12, 2023
Merged

Move Examples. #331

merged 14 commits into from
Dec 12, 2023

Conversation

kellertuer
Copy link
Member

@kellertuer kellertuer commented Nov 28, 2023

This PR moves functions that formerly were used in examples to ManoptExamples.jl to reintroduce these old examples over there as well.

While formally this might be considered breaking, I would assume that these functions were actually unused since we abandoned the old examples a year ago when releasing Manopt 0.4.
Still all removed functions will be carefully documented in the changelog and the test suite cases / files will also move over.

This resolves one of the points in #297.

This PR is accompanied by the corresponding PRs in ManifoldDiff(JuliaManifolds/ManifoldDiff.jl#37) and ManoptExamples.jl (JuliaManifolds/ManoptExamples.jl#12).

docs/make.jl Outdated Show resolved Hide resolved
@kellertuer kellertuer mentioned this pull request Dec 10, 2023
6 tasks
Copy link

codecov bot commented Dec 12, 2023

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (c8e9079) 99.74% compared to head (c2cc41c) 99.65%.

Additional details and impacted files
@@            Coverage Diff             @@
##           master     #331      +/-   ##
==========================================
- Coverage   99.74%   99.65%   -0.09%     
==========================================
  Files          79       69      -10     
  Lines        7353     6337    -1016     
==========================================
- Hits         7334     6315    -1019     
- Misses         19       22       +3     

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

@kellertuer kellertuer marked this pull request as ready for review December 12, 2023 08:49
@kellertuer kellertuer added the Ready-for-Review A label for pull requests that are feature-ready label Dec 12, 2023
@kellertuer
Copy link
Member Author

The reduction in global code coverage is unavoidable, since we reduced the code base but did not cover any of the 19 not yet covered lines. Besides this remark all is working and ready-to-merge.

@kellertuer kellertuer merged commit 3d38cc5 into master Dec 12, 2023
14 of 15 checks passed
@kellertuer kellertuer deleted the kellertuer/move-examples branch December 16, 2023 07:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
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.

1 participant