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.

Sign up for GitHub

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

Jump to bottom

#810 flush DFL log before zipping #832

Merged
merged 1 commit into from
Jan 23, 2025
Merged

#810 flush DFL log before zipping #832

merged 1 commit into from
Jan 23, 2025

Conversation

rosiereflo
Copy link
Contributor

closes #810

Checklist before requesting a review

use '[x]' to check the checkboxes, or submit the PR and then click the checkboxes

  • unit tests and non regression tests were added (update of inputs, outputs, SA, algos)
  • main documentation was updated (update of input/output file)
  • the corresponding milestone was added in the ticket and in this PR

@rosiereflo
#810 flush DFL log before zipping
f8e2e8d 
closes #810

Signed-off-by: Florentine Rosiere <[email protected]>
@rosiereflo rosiereflo added this to the v1.7.0 milestone Jan 23, 2025
@rosiereflo rosiereflo linked an issue Jan 23, 2025 that may be closed by this pull request
[SA] add the possibility zip the inputs and outputs #810
Closed
@rosiereflo rosiereflo merged commit 5f4f742 into v1.7 Jan 23, 2025
1 of 4 checks passed
@rosiereflo rosiereflo deleted the 810_fix_log_v17 branch January 23, 2025 14:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
v1.7.0
Development

Successfully merging this pull request may close these issues.

[SA] add the possibility zip the inputs and outputs
1 participant
@rosiereflo