Merge pull request #3230 from fwesselm/increaseMipCodeCoverage #8851
fwesselmbuild-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