Skip to content

Add option to write results to a file#911

Merged
ileitch merged 1 commit into
masterfrom
write-results
Apr 13, 2025
Merged

Add option to write results to a file#911
ileitch merged 1 commit into
masterfrom
write-results

Conversation

@ileitch
Copy link
Copy Markdown
Contributor

@ileitch ileitch commented Apr 13, 2025

No description provided.

@ileitch ileitch marked this pull request as ready for review April 13, 2025 10:03
@ileitch ileitch merged commit ec31939 into master Apr 13, 2025
9 checks passed
@ileitch ileitch deleted the write-results branch April 13, 2025 10:03
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.

1 participant