Currently our worker names look like the following (at least on Azure)
My preference is to use an incremental counter rather than a UUID, but I understand if this can't be done. We should maybe remove the dask-####-worker prefix though. It doesn't add much value.
Currently our worker names look like the following (at least on Azure)
My preference is to use an incremental counter rather than a UUID, but I understand if this can't be done. We should maybe remove the
dask-####-worker
prefix though. It doesn't add much value.Super-low priority.