Reviews
Fix for
add_group_number with Equal_CountMerging wip/gmt/13995/db-equal-count-fix into develop
Awaiting activity
Run Standard.Microsoft in dual JVM mode
Merging wip/jtulach/MicrosoftInDualJvm13804 into develop
Awaiting activity
Fix structural pattern match on intersection types
Merging wip/akirathan/12142-case-intersection-types into develop
Awaiting activity
Integration test for downloading a library from ZIP
Merging wip/akirathan/lib-download-integration-test into develop
Awaiting activity
Prefer
@TruffleBoundary over transferToInterpreter() in ArrayBuilderMerging wip/jtulach/TruffleBoundaryInArrayBuilder into develop
Awaiting activity
Bump validator from 13.12.0 to 13.15.22
Merging dependabot/npm_and_yarn/validator-13.15.22 into develop
Awaiting activity
Bump electron from 37.2.1 to 37.3.1 in /app/electron-client
Merging dependabot/npm_and_yarn/app/electron-client/electron-37.3.1 into develop
Awaiting activity
Replace language server WebSocket connection with Ydoc
Merging wip/db/14142-ydoc-websocket into develop
Awaiting activity
Bazel: Engine build on Windows
Merging wip/vitvakatu/fix-engine-build-windows into develop
Awaiting activity
Run
Standard.Snowflake in dual JVM modeMerging wip/jtulach/DualSnowflake into develop
Awaiting activity
Generate tsconfig files through bazel build target
Merging wip/frizi/tsconfig-generation into develop
Awaiting activity
Bump electron from 37.2.1 to 37.3.1
Merging dependabot/npm_and_yarn/electron-37.3.1 into develop
Awaiting activity
Bump playwright from 1.54.1 to 1.55.1
Merging dependabot/npm_and_yarn/playwright-1.55.1 into develop
Awaiting activity
Make CI Keep up to date a one time action
Merging wip/jtulach/OneTimeKeepUpToDate into develop
Awaiting activity
WIP: Replacing Static Dataflow Analysis with Reactive Caches
Merging wip/hubert/10525-reactive-cache-take-2 into develop
Awaiting activity
Update Bazel to 9.0.0-pre.20251025.1
Merging wip/vitvakatu/update-bazel-9 into develop
Awaiting activity
Removing builtin methods from Any
Merging wip/jtulach/NoAnyBuiltins_5226 into develop
Awaiting activity
PoC: Getting
Any, Text & numbers closure down to 35 modulesMerging wip/jtulach/ProofPrelude8852 into develop
Awaiting activity
Bump tar-fs from 3.1.0 to 3.1.1
Merging dependabot/npm_and_yarn/tar-fs-3.1.1 into develop
Awaiting activity
Build native image with Bazel
Merging wip/akirathan/14036-bazel-native-image into develop
Awaiting activity