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 flint to 2.9.0, arb to 2.23.0 #36383

Merged
merged 3 commits into from
Oct 8, 2023

Conversation

mkoeppe
Copy link
Contributor

@mkoeppe mkoeppe commented Oct 2, 2023

Resolves #34102
Resolves #34106

📝 Checklist

  • The title is concise, informative, and self-explanatory.
  • 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 accordingly.

⌛ Dependencies

@github-actions
Copy link

github-actions bot commented Oct 2, 2023

Documentation preview for this PR (built with commit 316bbb3; changes) is ready! 🎉

Copy link
Member

@dimpase dimpase left a comment

Choose a reason for hiding this comment

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

lgtm

@mkoeppe
Copy link
Contributor Author

mkoeppe commented Oct 4, 2023

This ran (with other upgrade PRs) at https://github.com/mkoeppe/sage/actions/runs/6374961608, builds and tests OK on platforms

Copy link
Member

@dimpase dimpase left a comment

Choose a reason for hiding this comment

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

lgtm

@mkoeppe
Copy link
Contributor Author

mkoeppe commented Oct 4, 2023

Thanks!

@vbraun vbraun merged commit 970fd9f into sagemath:develop Oct 8, 2023
26 of 39 checks passed
@mkoeppe mkoeppe added this to the sage-10.2 milestone Oct 8, 2023
@mkoeppe mkoeppe deleted the t/34106/update_arb_to_2_23 branch October 31, 2023 20:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Update arb to 2.23 Update flint to 2.9
3 participants