creusot-setup: provide more hints in case of issues (mismatched solver versions)#1341

Merged

Lysxia merged 1 commit intocreusot-rs:masterfrom Armael:setup-hints

Feb 6, 2025

+36-5

Commits on Feb 6, 2025

creusot-setup: provide more hints in case of issues (bad solver versions)

Armael
authored and
Lysxia
committed