Skip to content

Rename distributed_resources to worker_resources #223

Rename distributed_resources to worker_resources

Rename distributed_resources to worker_resources #223

Annotations

1 warning

Julia nightly - ubuntu-latest - x64 - push

succeeded Apr 15, 2024 in 3m 50s