Cloudflare cache upload failure

Stream: nightly-testing

[github mathlib4 bot]

:cross_mark: Cloudflare cache upload (Archive/Counterexamples) failed for PR #push on commit 5a0d04196f6c46a059d03311769c9f8f2a77529c

[Kim Morrison]

This seems to be a correctly reported failure with Cloudflare:

Uploading Archive and Counterexamples cache to Cloudflare...
uncaught exception: failure in curl #[--no-progress-meter, --aws-sigv4, aws:amz:auto:s3, --user, ***, --retry, 5, -X, PUT, --parallel, -K, /home/lean/.cache/mathlib/curl.cfg]:
curl: (52) Empty reply from server

Compressing cache
Attempting to upload 7264 file(s) to leanprover-community/mathlib4 cache

[Kim Morrison]

@Mac Malone, @Sebastian Ullrich, just a heads up that hopefully Cloudflare errors will all be reported here. Still not sure what we're going to do with them. :-) Can we look in the Cloudflare logs and see if anything correlates with this?