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 1 - ubuntu-latest - x86 - push

succeeded Apr 15, 2024 in 2m 37s