Skip to content

Conversation

@AmineKhaldi
Copy link
Contributor

Source hash: 03cc2fa
Remaining commits: 0

almogdepaz and others added 4 commits October 29, 2025 20:12
<!-- Merging Requirements:
- Please give your PR a title that is release-note friendly
- In order to be merged, you must add the most appropriate category
Label (Added, Changed, Fixed) to your PR
-->
<!-- Explain why this is an improvement (Does this add missing
functionality, improve performance, or reduce complexity?) -->

### Purpose:

remove the option to start the solver from cmd

### Current Behavior:

solver will be started when we start all/farmer/solver

### New Behavior:
remove option to start the solver
<!-- As we aim for complete code coverage, please include details
regarding unit, and regression tests -->

### Testing Notes:

<!-- Attach any visual examples, or supporting evidence (attach any
.gif/video/console output below) -->
…nt/main_from_release_2.5.7_03cc2fa2455d94e4b0cf17ea40cb3943e543750c
@AmineKhaldi AmineKhaldi requested a review from a team as a code owner October 30, 2025 18:26
@AmineKhaldi AmineKhaldi added checkpoint_merge Changed Required label for PR that categorizes merge commit message as "Changed" for changelog labels Oct 30, 2025
@AmineKhaldi AmineKhaldi requested a review from emlowe October 30, 2025 18:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Changed Required label for PR that categorizes merge commit message as "Changed" for changelog checkpoint_merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants