Skip to content

Conversation

@farmaazon
Copy link
Contributor

@farmaazon farmaazon commented Nov 19, 2025

Pull Request Description

There is a small fix in package testing, and make Project Manager scan for available ports for ydoc server, actually allowing more than one project opened at once.

Important Notes

Checklist

Please ensure that the following checklist has been satisfied before submitting the PR:

  • [ ] The documentation has been updated, if necessary.
  • [ ] Screenshots/screencasts have been attached, if there are any visual changes. For interactive or animated visual changes, a screencast is preferred.
  • All code follows the
    Scala,
    Java,
    TypeScript,
    and
    Rust
    style guides. In case you are using a language not listed above, follow the Rust style guide.
  • [ ] Unit tests have been written where possible.
  • [ ] If meaningful changes were made to logic or tests affecting Enso Cloud integration in the libraries,
    or the Snowflake database integration, a run of the Extra Tests has been scheduled.
    • If applicable, it is suggested to paste a link to a successful run of the Extra Tests.

@farmaazon farmaazon added the CI: No changelog needed Do not require a changelog entry for this PR. label Nov 19, 2025
@farmaazon farmaazon force-pushed the wip/farmaazon/fix-flaky-test branch from 94bee8b to 8835c09 Compare November 19, 2025 15:34
@farmaazon farmaazon self-assigned this Nov 19, 2025
@farmaazon farmaazon marked this pull request as ready for review November 19, 2025 17:04
@4e6
Copy link
Contributor

4e6 commented Nov 19, 2025

Thanks for the fix ❤️

@farmaazon farmaazon added the CI: Ready to merge This PR is eligible for automatic merge label Nov 20, 2025
@mergify mergify bot merged commit 0bc01f8 into develop Nov 20, 2025
82 checks passed
@mergify mergify bot deleted the wip/farmaazon/fix-flaky-test branch November 20, 2025 09:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI: No changelog needed Do not require a changelog entry for this PR. CI: Ready to merge This PR is eligible for automatic merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants