Highs binary semaphore acquire: fix tsan CI error - #3475

Highs binary semaphore acquire: fix tsan CI error#3475

galabovaa wants to merge 2 commits into

latestERGO-Code/HiGHS:latestfrom

highs-binary-semaphore-acquireERGO-Code/HiGHS:highs-binary-semaphore-acquireCopy head branch name to clipboard