False negative coverage reports

[odow]

There's a few uncovered lines, even though they should be covered:

Same thing in MOI

Change seems to be around the time Julia v1.12 was released