Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
build: hack around GitHub upload API failure / flake #16663
This is a super hacky workaround to the GitHub API failure. Assuming a case where we want to upload file "X" instead we upload that file to "fake-X-fake-DATE" and then on success, rename that file. This way if a file we upload dies like we have been seeing the "DATE" stamped file name will be broken, not the actual file name we want to end up using.