Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Allow specifying the bin path prefix #31

Merged
merged 2 commits into from
May 26, 2022
Merged

Allow specifying the bin path prefix #31

merged 2 commits into from
May 26, 2022

Conversation

gaborbernat
Copy link
Contributor

@gaborbernat gaborbernat commented May 20, 2022

And if set recreate it if already exists. Print the number of dumps
generated in the summary.

Signed-off-by: Bernát Gábor bgabor8@bloomberg.net

Resolves #28.

And if set recreate it if already exists. Print the number of dumps
generated in the summary.

Signed-off-by: Bernát Gábor <bgabor8@bloomberg.net>
@gaborbernat gaborbernat added the enhancement New feature or request label May 20, 2022
Signed-off-by: Bernát Gábor <gaborjbernat@gmail.com>
@pablogsal pablogsal merged commit 258663b into bloomberg:main May 26, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Allow specifying the run id via CLI (and print it in report)
2 participants