Skip to content

Remove local_resources_ from node_manager #3461

Closed
@pcmoritz

Description

see

const SchedulingResources local_resources_;

According to @atumanov it is not used at the moment after initialization. This will make the code clearer, especially in the presence of custom resources @romilbhardwaj

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions