Dmitry Bushev

Ydoc native image

6

### Pull Request Description close #10757 ### Important Notes ### Checklist Please ensure that the following checklist has been satisfied before submitting the PR: - [x] The documentation has been...

### Pull Request Description close #11231 Changelog: - fix: do not block during the hooks execution ### Important Notes ### Checklist Please ensure that the following checklist has been satisfied...

Metadata should not depend on (absolute) text spans

13

## User Visible Goal Let the user _"edit source files in an external editor"_ without completely breaking information persisted in the _METADATA section_. E.g. without _loosing positions, color, etc. of...

closes #16 ## Issue The `dependencyUpgrade` command looks for `Dependencies.scala` in the project base directory. But in multi-project SBT configurations the file is located in the _root_ directory, and not...

## Issue Unzip fails with `invalid zip file` error when trying to unpack the archive produced by `async_zip`. ``` $ unzip -o output.zip Archive: output.zip inflating: hello.txt error: invalid zip...

Rename fails when renaming method to a previous name

2

## Issue When renaming the function to an old name, the operation fails with the following error: ``` Method `take_rules_2` of type Main could not be found. ``` ## How...

Make Microsoft_Tests less flaky

2

### Pull Request Description close #13194 Changelog: - update: move `Microsoft_Tests` into a separate job - update: a more graceful shutdown of Docker containers ### Important Notes ### Checklist Please...

Execute yjs from insight script

10

### Pull Request Description Allow populating Yjs metadata with values provided by the insight script. ### Compile the Insight Script Run pnpm install ``` corepack pnpm i ``` Build `app/ydoc-server/polyglot/insight.js`...

Language server creates two log files

1

## Issue Every time the language server starts, it writes the line into `enso-cli-***.log` ``` [DEBUG] [2025-11-05T17:15:28Z] [org.enso.distribution.DistributionManager] Detected paths: DistributionPaths( dataRoot = ***/enso, runtimes = ***/runtime, engines = ***/dist,...

### Pull Request Description - close #14142 ### Important Notes ### Checklist Please ensure that the following checklist has been satisfied before submitting the PR: - [ ] The documentation...