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

Update docs subsection title #4522

Merged
merged 1 commit into from
Jan 30, 2025

Conversation

paemurru
Copy link
Contributor

There were two subsections called "Attributes". I named one of them "Methods".

@HereAround HereAround added topic: toric schemes documentation Improvements or additions to documentation labels Jan 30, 2025
Copy link
Member

@HereAround HereAround left a comment

Choose a reason for hiding this comment

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

Looks good to me.

@HereAround HereAround enabled auto-merge (squash) January 30, 2025 11:15
Copy link

codecov bot commented Jan 30, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 84.39%. Comparing base (d5e963e) to head (d4bb754).
Report is 12 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff             @@
##           master    #4522      +/-   ##
==========================================
+ Coverage   84.16%   84.39%   +0.22%     
==========================================
  Files         672      672              
  Lines       88768    89126     +358     
==========================================
+ Hits        74715    75215     +500     
+ Misses      14053    13911     -142     

see 41 files with indirect coverage changes

@HereAround HereAround merged commit a4a9edf into oscar-system:master Jan 30, 2025
28 of 31 checks passed
@paemurru paemurru deleted the ep/toric_docs_title branch January 30, 2025 11:52
@aaruni96 aaruni96 added the release notes: to be added PRs introducing changes that should be (but have not yet been) mentioned in the release notes label Jan 30, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation release notes: to be added PRs introducing changes that should be (but have not yet been) mentioned in the release notes topic: toric schemes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants