removed binder link (#1087)

This commit is contained in:
Omri Mendels
2023-06-04 13:43:48 +03:00
committed by GitHub
parent b6f81912e9
commit 2f0b46a2b7

View File

@@ -82,7 +82,7 @@ plugins:
options:
docstring_style: sphinx
- mknotebooks:
binder: true
binder: false
binder_service_name: "gh"
binder_branch: "main"
binder_ui: "lab"