Skip to content

Feat/logname#763

Merged
gerlero merged 4 commits intogerlero:mainfrom
a-reinhold:feat/logname
Mar 2, 2026
Merged

Feat/logname#763
gerlero merged 4 commits intogerlero:mainfrom
a-reinhold:feat/logname

Conversation

@a-reinhold
Copy link

Add the possibility to create custom named log files. This is usefull if one wants to e.g. restart a case several times and have the different runs in several log files .

@gerlero
Copy link
Owner

gerlero commented Mar 2, 2026

@a-reinhold Thanks for opening this PR. Looks fine to me. I'll let the tests run and then make my review.

Copy link
Owner

@gerlero gerlero left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@a-reinhold Looks perfect. Thanks again for the contribution!

@gerlero gerlero merged commit 3d11229 into gerlero:main Mar 2, 2026
31 of 32 checks passed
@gerlero
Copy link
Owner

gerlero commented Mar 2, 2026

@a-reinhold Released in v1.5.7

@a-reinhold
Copy link
Author

That was fast, Thanks

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.

2 participants