Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add state management for workers #65

Merged
merged 3 commits into from
Jun 29, 2024
Merged

Add state management for workers #65

merged 3 commits into from
Jun 29, 2024

Conversation

equals215
Copy link
Member

  • Workers are now bound to a an operator-like structure, their state is visible and manipulated through that object
  • Workers state is visible using API queries
  • Worker state is observed by a routine ensuring consistency

This is the followup of #63 that was used to bring fork changes to the origin repo

@equals215 equals215 added the enhancement New feature or request label Jun 29, 2024
@equals215 equals215 requested a review from CorentinB June 29, 2024 14:15
@equals215 equals215 self-assigned this Jun 29, 2024
@equals215 equals215 merged commit 3777598 into main Jun 29, 2024
1 check passed
@equals215 equals215 deleted the state-management branch July 1, 2024 02:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@CorentinB CorentinB CorentinB approved these changes

Assignees

@equals215 equals215

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@equals215 @CorentinB