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

pplpy*: update upstream info and deps #35289

Merged
merged 2 commits into from
Apr 1, 2023
Merged

Conversation

dimpase
Copy link
Member

@dimpase dimpase commented Mar 14, 2023

📚 pplpy/pplpy_doc: update upstream info and deps

these are now hosted on sagemath;
also, build system of pplpy errors out if there is no sphinx.

📝 Checklist

  • I have made sure that the title is self-explanatory and the description concisely explains the PR.

@github-actions
Copy link

Documentation preview for this PR is ready! 🎉
Built with commit: 9a30251

@codecov-commenter
Copy link

Codecov Report

Patch coverage has no change and project coverage change: -0.02 ⚠️

Comparison is base (f449b14) 88.62% compared to head (9a30251) 88.61%.

Additional details and impacted files
@@             Coverage Diff             @@
##           develop   #35289      +/-   ##
===========================================
- Coverage    88.62%   88.61%   -0.02%     
===========================================
  Files         2148     2148              
  Lines       398653   398653              
===========================================
- Hits        353308   353268      -40     
- Misses       45345    45385      +40     

see 25 files with indirect coverage changes

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

☔ View full report in Codecov by Sentry.
📢 Do you have feedback about the report comment? Let us know in this issue.

@vbraun vbraun merged commit 7373dc6 into sagemath:develop Apr 1, 2023
@mkoeppe mkoeppe added this to the sage-10.0 milestone Apr 1, 2023
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.

4 participants