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
Release: zip files are empty #1940
The release script is supposed to build two zip files that we distribute to the CDNs. They are created but always zero-length.
Better to have the test runs create these zip files than skip it: