-
Notifications
You must be signed in to change notification settings - Fork 112
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
Try on binder #1181
Try on binder #1181
Conversation
Codecov Report
|
8a707d6
to
67f6a04
Compare
Have a look @pymor/all Fixes for the v-align of the badge welcome. TODO:
Integrating the download notebook links I will defer. |
pymor proper no longer needs the .binder infra, this is now delegated to the pymor/docs repo CI now builds the base image for binder for that repo in deploys infra alongside built sphinx html
67f6a04
to
6be6d6d
Compare
Very nice! Maybe remove the 'Click here' as there is already the launch button? |
I've intentionally made both a link in case people do not think to click the badge |
With the latest commit the remaining issues are fixed and this is now ready to merge. |
This PR adds a sphinx extension that exposes a new directive to include a binder badge link to a branch in the pymor/docs repo where the generated tutorial notebooks live.
Example
Open for suggestions on badge link positioning and text.