Merge pull request #2212 from ERGO-Code/MIP-timing #3992
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