Code

Increase solver timeout#357

Code

Merged

shonfeder merged 1 commit intoocurrent:masterocurrent/opam-repo-ci:masterfrom shonfeder:354/increase-timeoutshonfeder/opam-repo-ci:354/increase-timeoutCopy head branch name to clipboardSep 20, 2024

+95-95

Commits

Commits on Sep 19, 2024

• Increase solver timeout

  Show description for d7460ce
  

  shonfeder

  authored and

  punchagan

  committed
  d7460ce