Threading and timeout fixes - #230

Merged

lefterislazar merged 3 commits into

argotorg:mainfrom

mijovic:upstream-threading-timeout

Aug 10, 2026

Commits on Aug 4, 2026

build act with -threaded so the solver pool is actually parallel
mijovic
committed
e63e520
convert --smttimeout from milliseconds to seconds for withSolvers
mijovic
committed
27d8189

Commits on Aug 10, 2026

Reduce .cabal commit specificity
lefterislazar
committed
c5febdd