npm/jedi: v1.3.0

Update `pybricks_jedi` Python package to v1.3.0.

npm/jedi/CHANGELOG.md

@@ -2,7 +2,12 @@
 
 <!-- refer to https://keepachangelog.com/en/1.0.0/ for guidance -->
 
-## 1.1.0 - 2022-10-21
+## 1.3.0 - 2022-11-11
+
+### Changed
+- Updated `pybricks_jedi` Python package to v1.3.0.
+
+## 1.2.0 - 2022-10-21
 
 ### Changed
 - Updated `pybricks_jedi` Python package to v1.2.0.

npm/jedi/build.py

@@ -12,7 +12,7 @@ BUILD_DIR = (pathlib.Path(__file__).parent / "build").resolve()
 
 package_json = {
     "name": "@pybricks/jedi",
-    "version": "1.2.0",
+    "version": "1.3.0",
     "description": "Binary distribution of pybricks-jedi Python package and dependencies for use with Pyodide.",
     "repository": {
         "type": "git",
@@ -38,7 +38,7 @@ subprocess.check_call(
         "pip",
         "download",
         "--only-binary=any",
-        "pybricks-jedi==1.2.0",
+        "pybricks-jedi==1.3.0",
     ],
     cwd=BUILD_DIR,
 )