On 13 Nov 24 12:24, Neil Mayhew wrote:
This pain is happening in https://github.com/IntersectMBO/cardano-ledger.git, a large open-source repo.
In case it's helpful, here's the script I wrote to reproduce the problem minimally in a fresh repo:
https://gist.github.com/neilmayhew/f01dd8f807ebc0bdd37c4db154eabf64
