Yes, nice diagnosis @jackdk. This is a build-type: Custom problem, and the real long-term solution here is to move away from build-type: Custom as far as possible. Luckily at Well-Typed we managed to get some funding to do just that:
8 Likes