-
-
Notifications
You must be signed in to change notification settings - Fork 7.9k
"gif" third-party package added to the extension page #16380
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
Conversation
Thanks for this PR. Can I suggest to put gif and animatplot into a new section named animations or similar - because those are not really about interactivity? |
@ImportanceOfBeingErnest just moved all three animation libraries into their own section (sorted alphabetically)! |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displa 8000 yed to describe this comment to others. Learn more.
This looks good to me.
Unfortunately, no circleci test have been run on this (possibly there was a maintainance(?)), so I will not directly merge.
Okay! Is there anything more that you need me to do? |
No. Thanks again for your PR. |
Recycled to re-run CI |
Codecov Report
@@ Coverage Diff @@
## master #16380 +/- ##
=======================================
Coverage 80.85% 80.85%
=======================================
Files 307 307
Lines 75745 75745
Branches 9690 9690
=======================================
Hits 61245 61245
Misses 11961 11961
Partials 2539 2539
Continue to review full report at Codecov.
|
CI passed before, so merging.... |
PR Summary
Added the
gif
package to the third-party package page at the behest of this tweet!PR Checklist
Note
Hope I did this right. Thanks for the invitation! Let me know how I can improve this PR if need be!