Skip to content

Merge main into develop#15

Open
github-actions[bot] wants to merge 3130 commits intodevelopfrom
main
Open

Merge main into develop#15
github-actions[bot] wants to merge 3130 commits intodevelopfrom
main

Conversation

@github-actions
Copy link

@github-actions github-actions bot commented Feb 5, 2026

Automatically generated PR to keep develop in sync with main.

USE MERGE COMMIT TO MERGE THIS PR.

See merge_main_to_develop.yml.

kenwenzel and others added 30 commits September 18, 2025 16:21
Signed-off-by: Håvard Ottestad <hmottestad@gmail.com>
Signed-off-by: Håvard Ottestad <hmottestad@gmail.com>
Signed-off-by: Håvard Ottestad <hmottestad@gmail.com>
Signed-off-by: Håvard Ottestad <hmottestad@gmail.com>
Signed-off-by: Håvard Ottestad <hmottestad@gmail.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
hmottestad and others added 30 commits December 23, 2025 11:10
Bumps org.apache.logging.log4j:log4j-core from 2.17.2 to 2.25.3.

---
updated-dependencies:
- dependency-name: org.apache.logging.log4j:log4j-core
  dependency-version: 2.25.3
  dependency-type: direct:development
...

Signed-off-by: dependabot[bot] <support@github.com>
GH-0000 Stabilize WAL search test
GH-0000 Stabilize server boot signal readiness
* create module

* move common large benchmark files to the common module

* clean up shared queries

* data generator
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants