Skip to content

revise scheduler interface#51

Merged
raphael-s-steiner merged 4 commits intomasterfrom
Scheduler-revision
Nov 26, 2025
Merged

revise scheduler interface#51
raphael-s-steiner merged 4 commits intomasterfrom
Scheduler-revision

Conversation

@tonibohnlein
Copy link
Collaborator

removed timeout method of scheduler

documentation for scheduler

multi

removed timeout method of scheduler

documentation for scheduler

multi
Copy link
Collaborator

@raphael-s-steiner raphael-s-steiner left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

approved

@raphael-s-steiner raphael-s-steiner merged commit 1c9c29e into master Nov 26, 2025
4 checks passed
@raphael-s-steiner raphael-s-steiner deleted the Scheduler-revision branch November 26, 2025 15:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants