Laurens Valk 608c3f0d98 npm/jedi: Further trim down build logic. ...

We used to separately build jedi and then use another Python step to package it.

We can just do it from the same environment to avoid packaging issues.

2026-05-30 11:02:12 +02:00

..

ide-docs

.github/workflows: Use node 24.

2026-05-29 21:57:20 +02:00

images

.github/workflows: Use node 24.

2026-05-29 21:57:20 +02:00

jedi

npm/jedi: Further trim down build logic.

2026-05-30 11:02:12 +02:00