fix: finish? checks whether solver propagation steps are needed
#14295
Triggered via pull request
October 25, 2025 02:09
leodemoura
labeled
#10949
Status
Skipped
Total duration
1s
Artifacts
–