chore: use 4.14.2 to run tests

[emillon]

trafficstars

The CI uses 4.14.x so will pick it up as well. No tests are broken.

[emillon]

@gridbugs do you know how to update the benchmarks to run on 4.14.2?

[gridbugs]

@gridbugs do you know how to update the benchmarks to run on 4.14.2?

I think you need to make sure that the opam init step gets executed when rebuild the docker image rather than taken from the cache.

[emillon]

Thanks. Everything's green now so I'm merging.