This guide for configuring and maintaining collection of executable tutorials.
We do use MyST Markdown format for the notebooks, please visit the upstream documentation to learn more about the reasoning behind the choice. To provide a seamless user experience for users in JupyterLab, we employ some libraries 1 and a little special configuration 2.
Sometimes it is convenient to disable a job in a GitHub Action on certain Pull
Requests. This may be added to the job to configure it to skip Pull Requests
that have a given label called LABEL.
jobs:
tests:
if: ${{ !(github.event_name == 'pull_request') || !contains(github.event.pull_request.labels.*.name, 'LABEL') }}Footnotes
-
See
.binder/postBuildand.binder/overrides.json. ↩