Don't need HighsMipWorker main_worker(*this); HighsSearch master_sear… #3840
jajhallbuild-linux.yml
on: push
Matrix: debug
Matrix: debug64
Matrix: debug64_all_tests
Matrix: debug_all_tests
Matrix: release
Matrix: Release64
Matrix: Release64_all_tests
Matrix: release_all_tests