Change release process to upload custom edition

[Akirathan]

In #14319 we have investigated that all the library/edition infrastructure present for multiple years still works. #14319 contains description of steps how to upload a custom library to locally hosted library server and use it both from engine runner and from IDE.

The goal of this issue is to demonstrate changes to the nightly release process such that:

• Add a custom, zipped, library as another artifact to the release
• Modify buildEngineDistribution task so that it creates another edition file next to distribution/editions/0.0.0-dev.yaml.
• There is no need to host a separate HTTP library server:
  • The new edition will contain definition of a library repository with the URL to the GH release.
  • JDK can index files within zip/jar archives, so to fetch a manifest,
    • we can use URL of format jar:https://github.com/enso-org/enso/releases/tag/2025.3.1-nightly.2025.12.10!manifest.yaml.
    • as JarURLConnection defines

In other words:

• Enso_Extra edition will contain a single Foo library
• This library is hosted on GH, as an artifact on the release.
• It will be automatically downloaded without need to change package.yaml of a project.

[Akirathan]

An example of how to fetch just a particular ZIP file entry from a remote URL:

  private static void fetchFileFromRemoteZip() throws Exception {
    var zipUrl = "https://github.com/enso-org/enso/archive/refs/tags/2025.3.1-nightly.2025.12.11.zip";
    var filePath = "enso-2025.3.1-nightly.2025.12.11/build-config.yaml";
    var url = URI.create("jar:" + zipUrl + "!/" + filePath).toURL();
    var jarUrl = (JarURLConnection) url.openConnection();
    try (var is = jarUrl.getInputStream()) {
      var content = new String(is.readAllBytes());
      System.out.println(content);
    }
  }

[enso-bot]

Pavel Marek reports a new STANDUP for today (2025-12-11):

Progress: - Demonstration that remote library repository can be a simple ZIP archive hosted as an artifact on GH:

• Integration test for downloading a library from ZIP #14486
• Removing rest of the project-manager:
  • Remove project-manager from the CI #14487 It should be finished by 2025-12-19.

[enso-bot]

Pavel Marek reports a new STANDUP for today (2025-12-12):

Progress: - Artifacts after project-manager complete removal checked - #14487 (comment)

• Few fixes on Re-enable LibrariesTest #14430 It should be finished by 2025-12-19.

[enso-bot]

Pavel Marek reports a new STANDUP for today (2025-12-15):

Progress: - Do not rewrite HTTPDownloading into plain JDK's java.net.URLConnection:

• Integration test for downloading a library from ZIP #14486 (comment)
• Structural pattern matching on intersection types fixed:
  • Fix structural pattern match on intersection types #14498
  • Will probably need to ensure no regression in benchmarks though.
• IR refactorings:
  • Refactor Literal IR to Java #14502
  • Refactor Type and Set IR to Java #14299 It should be finished by 2025-12-19.

[enso-bot]

Pavel Marek reports a new STANDUP for today (2025-12-16):

Progress: - Type IR refactoring #14299 already green.

• Refactor Literal IR to Java #14502 should be green soon.
• Even more IR refactorings in Refactor Operator, Section, Comment, and PolyglotImport to Java #14514 It should be finished by 2025-12-19.

[enso-bot]

Pavel Marek reports a new STANDUP for today (2025-12-17):

Progress: - Semantics of pattern matching over multivalue clarified in #14498 (comment)

• More tests for warnings
• Still will need to run benchmarks tomorrow.
• Fixing the CI tests on Integration test for downloading a library from ZIP #14486
  • Tried to remove the sys prop hack but I think it is not worth it - Integration test for downloading a library from ZIP #14486 (comment) It should be finished by 2025-12-19.