npm/jedi: v1.13.0

npm/jedi/CHANGELOG.md

@@ -4,6 +4,14 @@
 
 ## Unreleased
 
+## 1.13.0 - 2024-01-30
+
+### Changed
+- Updated `pybricks_jedi` Python package to v1.13.0.
+
+### Changed
+- Updated `pybricks_jedi` Python package to v1.12.0.
+
 ## 1.12.0 - 2023-11-24
 
 ### Changed

npm/jedi/build.py

@@ -12,7 +12,7 @@ BUILD_DIR = (pathlib.Path(__file__).parent / "build").resolve()
 
 package_json = {
     "name": "@pybricks/jedi",
-    "version": "1.12.0",
+    "version": "1.13.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.12.0",
+        "pybricks-jedi==1.13.0",
     ],
     cwd=BUILD_DIR,
 )