PR: Add support for Jedi 0.20

.github/scripts/install.sh

@@ -47,11 +47,10 @@ if [ "$USE_CONDA" = "true" ]; then
     # Remove pylsp before installing its subrepo below
     micromamba remove --force python-lsp-server python-lsp-server-base -y
 
-    if [ "$OS" = "linux" ]; then
-        # Pin Jedi to 0.19.1 because test_update_outline fails frequently with
-        # 0.19.2, although it passes locally
-        micromamba install jedi=0.19.1
-    elif [ "$OS" = "win" ]; then
+    # Force installation of Jedi 0.20
+    micromamba install jedi=0.20
+
+    if [ "$OS" = "win" ]; then
         # Build 8 of this version makes tests fail in odd ways.
         micromamba install bzip2=1.0.8=h2466b09_7
     fi
@@ -78,11 +77,8 @@ else
     # Pin IPykernel to 7.2.0 because version 7.3.0+ causes segfaults
     pip install ipykernel==7.2.0
 
-    # Pin Jedi to 0.19.1 because test_update_outline fails frequently with
-    # 0.19.2, although it passes locally
-    if [ "$OS" = "linux" ]; then
-        pip install jedi==0.19.1
-    fi
+    # Force installation of Jedi 0.20
+    pip install jedi==0.20.0
 fi
 
 # Install subrepos from source

binder/environment.yml

@@ -21,7 +21,7 @@ dependencies:
 - intervaltree >=3.0.2
 - ipython >=9.15.0,<10.0.0
 - ipython_pygments_lexers >=1.0
-- jedi >=0.17.2,<0.20.0
+- jedi >=0.17.2,<0.21.0
 - jellyfish >=0.7
 - jsonschema >=3.2.0
 - keyring >=17.0.0