Skip to content

Conversation

@manopapad
Copy link
Contributor

port of #423

@manopapad manopapad added the category:improvement PR introduces an improvement and will be classified as such in release notes label Oct 7, 2022
@manopapad manopapad merged commit 728014a into nv-legate:branch-22.10 Oct 7, 2022
@magnatelee magnatelee mentioned this pull request Oct 24, 2022
@manopapad manopapad deleted the retry-tight-ported branch January 27, 2023 19:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

category:improvement PR introduces an improvement and will be classified as such in release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant