Skip to content

revert: in memory InnerForest prune #1781

Merged
Mirko-von-Leipzig merged 1 commit intomainfrom
bernhard-revert-revert-revert
Mar 11, 2026
Merged

revert: in memory InnerForest prune #1781
Mirko-von-Leipzig merged 1 commit intomainfrom
bernhard-revert-revert-revert

Conversation

@drahnr
Copy link
Contributor

@drahnr drahnr commented Mar 11, 2026

Important

targets main

We're currently transitioning to a per branch CI pipeline, this is in progress, and I am not comfortable deploying this without having a solid burn-in period.

On the other hand side, we haven't seen any issues not pruning just yet.

Reverts #1635

@drahnr drahnr changed the base branch from next to main March 11, 2026 13:41
@drahnr drahnr added the no changelog This PR does not require an entry in the `CHANGELOG.md` file label Mar 11, 2026
@drahnr drahnr closed this Mar 11, 2026
@drahnr drahnr reopened this Mar 11, 2026
@Mirko-von-Leipzig Mirko-von-Leipzig merged commit 0a188d2 into main Mar 11, 2026
20 checks passed
@Mirko-von-Leipzig Mirko-von-Leipzig deleted the bernhard-revert-revert-revert branch March 11, 2026 18:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no changelog This PR does not require an entry in the `CHANGELOG.md` file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants