]> _ Git - alire.git/commit
Fix solver interactions on 'Always' timeout (#1103)
authorAlejandro R Mosteo <amosteo@unizar.es>
Mon, 25 Jul 2022 07:46:28 +0000 (09:46 +0200)
committerGitHub <noreply@github.com>
Mon, 25 Jul 2022 07:46:28 +0000 (09:46 +0200)
commitce815c3a3cc7bcf8cee8feb8d830bec9b96a0fe0
treef0378c2f476c0730e18d36a0fce7d9e3b6c6d694
parent817e2717bc085523ab48236a24fba5bcc5e8b3cf
Fix solver interactions on 'Always' timeout (#1103)
alire.toml
deps/stopwatch
src/alire/alire-solver.adb
src/alire/alire-solver.ads
src/alr/alr-commands-search.adb