@pybricks/ide-docs v2.4.0

Update `pybricks_jedi` Python package to v1.3.0.

npm/ide-docs/CHANGELOG.md

@@ -2,6 +2,11 @@
 
 <!-- refer to https://keepachangelog.com/en/1.0.0/ for guidance -->
 
+## 2.4.0 - 2022-11-11
+
+### Changed
+- Updated docs to v3.2.0b5.
+
 ## 2.3.0 - 2022-10-21
 
 ### Changed

npm/ide-docs/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@pybricks/ide-docs",
-  "version": "2.3.0",
+  "version": "2.4.0",
   "description": "Special build of Pybricks API docs for embedding in an IDE.",
   "repository": {
     "type": "git",

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,
 )