Skip to content

Conversation

@fchapoton
Copy link
Contributor

@fchapoton fchapoton commented Oct 29, 2024

as another step towards using Parent everywhere

📝 Checklist

  • The title is concise and informative.
  • The description explains in detail what this PR is about.
  • I have linked a relevant issue or discussion.
  • I have created tests covering the changes.
  • I have updated the documentation and checked the documentation preview.

Dependencies:

#38821

@github-actions
Copy link

github-actions bot commented Oct 29, 2024

Documentation preview for this PR (built with commit 440ffdb; changes) is ready! 🎉
This preview will update shortly after each push to this PR.

@fchapoton
Copy link
Contributor Author

hmm, it seems that one should first do #38821

Copy link
Contributor

@mantepse mantepse left a comment

Choose a reason for hiding this comment

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

Cool! The bots are happy, me too!

@vbraun vbraun merged commit 58e477d into sagemath:develop Nov 3, 2024
21 of 23 checks passed
@fchapoton fchapoton deleted the parent_for_ring_extensions branch November 4, 2024 07:00
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.

3 participants