Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Codec.Compression.Zlib: premature end of compressed data stream #1814
I have seen the error
associated with different files in some Travis builds. After restarting the builds, the error disappears.
Right now, the error is in https://travis-ci.org/agda/agda/jobs/106551279.
Do we need to pay attention to this problem? (self-question)