Skip to content

Commit

Permalink
Merge pull request #502 from bollwyvl/unpin-jedi
Browse files Browse the repository at this point in the history
[wip] Unpin jedi
  • Loading branch information
krassowski committed May 29, 2021
2 parents 8f7669e + 5039709 commit 9bfc541
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 3 deletions.
2 changes: 0 additions & 2 deletions binder/environment.yml
Original file line number Diff line number Diff line change
Expand Up @@ -30,5 +30,3 @@ dependencies:
- tectonic
- texlab
- chktex
# TODO: remove when jedi vs IPython is resolved
- jedi <0.18
1 change: 0 additions & 1 deletion binder/postBuild
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,6 @@ python setup.py sdist bdist_wheel
python -m pip install -e . --ignore-installed --no-deps -vv
jupyter labextension develop . --overwrite
popd

# List extensions
jupyter serverextension list
jupyter server extension list
Expand Down

0 comments on commit 9bfc541

Please sign in to comment.