Pass haskell_threads to BoosterServer#928

automergerpr-permission-manager[bot] merged 1 commit intomasterruntimeverification/mir-semantics:masterfrom

booster-rts-nruntimeverification/mir-semantics:booster-rts-nCopy head branch name to clipboard