Closed thomaseizinger closed 4 years ago
Fixes #265.
It looks like we get different images in CI compared to locally :(
Travis doesn't give us access to the diff files, should we migrate to GitHub actions?
Fixes #265.