Skip to content

Add more links to tutorials#4480

Merged
HereAround merged 2 commits intooscar-system:masterfrom
HereAround:TutorialLinks
Jan 21, 2025
Merged

Add more links to tutorials#4480
HereAround merged 2 commits intooscar-system:masterfrom
HereAround:TutorialLinks

Conversation

@HereAround
Copy link
Copy Markdown
Member

@HereAround HereAround commented Jan 17, 2025

As requested in #4425.

@HereAround HereAround marked this pull request as ready for review January 17, 2025 12:37
@HereAround HereAround requested a review from lgoettgens January 17, 2025 12:41
@HereAround HereAround added documentation Improvements or additions to documentation enhancement New feature or request labels Jan 17, 2025
@codecov
Copy link
Copy Markdown

codecov Bot commented Jan 17, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 84.40%. Comparing base (7ff502f) to head (3e75f71).
Report is 125 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff             @@
##           master    #4480      +/-   ##
==========================================
+ Coverage   84.37%   84.40%   +0.03%     
==========================================
  Files         672      672              
  Lines       88706    88737      +31     
==========================================
+ Hits        74847    74901      +54     
+ Misses      13859    13836      -23     

see 16 files with indirect coverage changes

Comment thread docs/src/AlgebraicGeometry/intro.md Outdated
Copy link
Copy Markdown
Member

@lgoettgens lgoettgens left a comment

Choose a reason for hiding this comment

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

Great improvement, thanks!

Co-authored-by: Max Horn <max@quendi.de>
@HereAround HereAround enabled auto-merge (squash) January 21, 2025 09:36
@HereAround HereAround merged commit 110987e into oscar-system:master Jan 21, 2025
@HereAround HereAround deleted the TutorialLinks branch January 21, 2025 11:11
@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
@fingolfin fingolfin added release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes and removed release notes: to be added PRs introducing changes that should be (but have not yet been) mentioned in the release notes enhancement New feature or request labels Feb 27, 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: use title For PRs: the title of this PR is suitable for direct use in the release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants