Skip to content

Fix default scheduler #733

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
Merged
GiovanniCanali merged 1 commit into from
Dec 4, 2025
Merged

Fix default scheduler #733

GiovanniCanali merged 1 commit into from
Dec 4, 2025

Conversation

@GiovanniCanali
Copy link
Collaborator

@GiovanniCanali GiovanniCanali commented Dec 4, 2025

Description

This PR fixes #732

Checklist

  • Code follows the project’s Code Style Guidelines
  • Tests have been added or updated
  • Documentation has been updated if necessary
  • Pull request is linked to an open issue

@GiovanniCanali GiovanniCanali self-assigned this Dec 4, 2025
@GiovanniCanali GiovanniCanali requested a review from a team as a code owner December 4, 2025 11:44
@GiovanniCanali GiovanniCanali added pr-to-fix Label for PR that needs modification bug Something isn't working labels Dec 4, 2025
@GiovanniCanali GiovanniCanali changed the title fix default scheduler Fix default scheduler Dec 4, 2025
@GiovanniCanali GiovanniCanali added high priority Higher priority pr-to-review Label for PR that are ready to been reviewed and removed pr-to-fix Label for PR that needs modification labels Dec 4, 2025
@GiovanniCanali GiovanniCanali merged commit 2d39f62 into mathLab:dev Dec 4, 2025
18 of 19 checks passed
@GiovanniCanali GiovanniCanali deleted the fix_default_scheduler branch December 4, 2025 12:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@dario-coscia dario-coscia dario-coscia approved these changes

Assignees

@GiovanniCanali GiovanniCanali

Labels

bug Something isn't working high priority Higher priority pr-to-review Label for PR that are ready to been reviewed

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@GiovanniCanali @dario-coscia