Use the new registry and mapper API of Legate#202
Merged
rapids-bot[bot] merged 7 commits intorapidsai:branch-23.06from madsbk:legate_use_new_apiMay 11, 2023
+8-27
Commits
Commits on Apr 25, 2023
- committed
Commits on May 1, 2023
Commits on May 10, 2023
- committed
- committed
- committed
- committed
Commits on May 11, 2023
- committed