Tests pass locally but fail on CI

I’m not certain either, but it’s probably worth a go in absence of other options. A successful compilation on a machine makes it more likely to work on that machine, since by definition the linker can find all the external libraries it needs.