Code

Add a lower-bound checker#102

Code

Merged

kit-ty-kate merged 2 commits intoocurrent:masterocurrent/opam-repo-ci:masterfrom kit-ty-kate:lower-boundkit-ty-kate/opam-repo-ci:lower-boundCopy head branch name to clipboardMay 11, 2021

+63-36

Commits

Commits on Apr 29, 2021

• Add a lower-bound checker

  kit-ty-kate

  committed
  e0d4400

Commits on May 11, 2021

• Remove the fallback to opam 2.1 when encountering solver timeouts

  Show description for 16ad38f
  kit-ty-kate

  committed
  16ad38f