]> _ Git - alire.git/commit
Minor improvements to solver progress output (#1117)
authorAlejandro R Mosteo <amosteo@unizar.es>
Sun, 31 Jul 2022 08:53:18 +0000 (10:53 +0200)
committerGitHub <noreply@github.com>
Sun, 31 Jul 2022 08:53:18 +0000 (10:53 +0200)
commit64a94b14684de442a66b6668e1b914f085667f05
treeb1aa592cf6b904a25bd6161e09f1079cd7c4cb5e
parentf94d46a70abd5fa1c6d6ab79edbf203c4b52c5c1
Minor improvements to solver progress output (#1117)

Remove duplicate messages, and add progress while we are still in the space of
complete solutions (as nothing was reported if no complete solution was found).

Co-authored-by: GHA <actions@github.com>
alire.toml
deps/simple_logging
src/alire/alire-solver.adb