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

Save all coverage files to play #3170

Merged
merged 3 commits into from
Dec 26, 2023
Merged

Conversation

dvaldivia
Copy link
Collaborator

No description provided.

Signed-off-by: Daniel Valdivia <[email protected]>
cniackz
cniackz previously approved these changes Dec 26, 2023
Signed-off-by: Daniel Valdivia <[email protected]>
@dvaldivia dvaldivia merged commit a04955d into minio:master Dec 26, 2023
29 of 30 checks passed
@dvaldivia dvaldivia deleted the save-all-coverage branch December 26, 2023 19:52
cesnietor pushed a commit to cesnietor/console that referenced this pull request Jan 12, 2024
* Save all coverage files to play

Signed-off-by: Daniel Valdivia <[email protected]>

* Save them to latest as well

Signed-off-by: Daniel Valdivia <[email protected]>

---------

Signed-off-by: Daniel Valdivia <[email protected]>
cesnietor pushed a commit to cesnietor/console that referenced this pull request Jan 12, 2024
* Save all coverage files to play

Signed-off-by: Daniel Valdivia <[email protected]>

* Save them to latest as well

Signed-off-by: Daniel Valdivia <[email protected]>

---------

Signed-off-by: Daniel Valdivia <[email protected]>
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