Skip to content

Conversation

@fwnter
Copy link

@fwnter fwnter commented Sep 18, 2025

Adds a default to cleanup the PropertyStore between phases. Properties to be deleted/kept can be set via optional cli-parameters and the cleanup itself can be disabled.

fwnter and others added 2 commits September 18, 2025 16:46
* current version, todo: make stuff as args instead of using config

* add cleaning-configuration via args

* fix parameter

* switched logic for cleanup to be able to disable it

* cleanup
@johannesduesing johannesduesing added this to the Release 8.0.0 milestone Sep 23, 2025
@fwnter fwnter requested a review from errt October 2, 2025 07:19
@fwnter fwnter requested a review from errt October 5, 2025 16:16
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.

3 participants