fix: finish? checks whether solver propagation steps are needed
#14296
Triggered via pull request
October 25, 2025 02:48
leodemoura
leodemoura
closed
#10949
Status
Success
Total duration
10s
Artifacts
–