Zulip Chat Archive

Stream: nightly-testing

Topic: Cloudflare cache failure

github mathlib4 bot (Sep 09 2025 at 23:49):

:cross_mark: Cloudflare cache retrieval/test failed for PR #28291 on commit 5a0d04196f6c46a059d03311769c9f8f2a77529c

github mathlib4 bot (Sep 10 2025 at 08:37):

:cross_mark: Cloudflare cache retrieval/test failed for PR #28291 on commit 9ec894fd866b12105089f14d0b26d63dab51d63a

github mathlib4 bot (Sep 10 2025 at 11:14):

:cross_mark: Cloudflare cache retrieval/test failed for PR #28291 on commit 9ec894fd866b12105089f14d0b26d63dab51d63a

github mathlib4 bot (Sep 10 2025 at 11:56):

:cross_mark: Cloudflare cache retrieval/test failed for PR #28291 on commit fd77c93e085ee653913b5633cc0936205da13c42

github mathlib4 bot (Sep 14 2025 at 14:27):

:cross_mark: Cloudflare cache retrieval/test failed for PR #28291 on commit b667bcd99696d8f34af9760e384a6fef27bd0088

github mathlib4 bot (Sep 17 2025 at 15:46):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29407 on commit 5413137139e8666e013a04193f4ac3688c5285df

github mathlib4 bot (Sep 18 2025 at 15:42):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29284 on commit 937c0944a527ed41402ab8599f24a8c987b0a0eb

github mathlib4 bot (Sep 18 2025 at 15:44):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29279 on commit 937c0944a527ed41402ab8599f24a8c987b0a0eb

github mathlib4 bot (Sep 18 2025 at 15:46):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit 470c05353070c2962593508220f5ca2cda4fcc58

github mathlib4 bot (Sep 22 2025 at 12:07):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit 183704f700aabf79abdfb611d4fd4f40d9a23491

github mathlib4 bot (Sep 24 2025 at 06:29):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29904 on commit 6317a928add5e7940b01c1a771229c7e481fcf93

github mathlib4 bot (Sep 24 2025 at 06:29):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29904 on commit 6317a928add5e7940b01c1a771229c7e481fcf93

github mathlib4 bot (Sep 24 2025 at 07:46):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29904 on commit 92b3585ff2ad34ff6f23283403e5a8a9b026c893

github mathlib4 bot (Sep 24 2025 at 20:07):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29317 on commit 28c8070b021272247c0c722d8a2bc0624957163b

github mathlib4 bot (Sep 25 2025 at 02:52):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29953 on commit 1d84eb6e4354965ca8d01b3f9e5594e22fa80bde

github mathlib4 bot (Sep 25 2025 at 23:47):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit cc0437aba0f38a81d2cb130a5083ed17badc8206

github mathlib4 bot (Sep 26 2025 at 09:15):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29953 on commit f636b7af791e448017f4a49157b0319a2f44c21d

github mathlib4 bot (Sep 26 2025 at 16:28):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29953 on commit 06c7bee26ff75611a0e7890ffdfc436d1c7de50f

github mathlib4 bot (Oct 01 2025 at 04:55):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29953 on commit bb6ed2407f408e73db89adef20ef06b059e04ea2

github mathlib4 bot (Oct 01 2025 at 19:26):

:cross_mark: Cloudflare cache retrieval/test failed for PR #25969 on commit 12fc3dacb3ff72744c5cdd075c645176c9884d04

github mathlib4 bot (Oct 06 2025 at 22:58):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30147 on commit 7e091d1f76c45efd438e126040d981ec1d6d4524

github mathlib4 bot (Oct 06 2025 at 22:59):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30285 on commit 7e091d1f76c45efd438e126040d981ec1d6d4524

github mathlib4 bot (Oct 10 2025 at 10:38):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30380 on commit 2e7f87ec467cf5abeeabeda1f52f379c0148e096

github mathlib4 bot (Oct 10 2025 at 10:44):

:cross_mark: Cloudflare cache retrieval/test failed for PR #28728 on commit 61e5c4c0d36903cb493ab7bd44c1ac667920e616

github mathlib4 bot (Oct 10 2025 at 10:45):

:cross_mark: Cloudflare cache retrieval/test failed for PR #28728 on commit 61e5c4c0d36903cb493ab7bd44c1ac667920e616

github mathlib4 bot (Oct 10 2025 at 10:50):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30388 on commit aec4d456d0a30f63eb5d4d4b8e8479c088a86526

github mathlib4 bot (Oct 10 2025 at 10:58):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29925 on commit 61e5c4c0d36903cb493ab7bd44c1ac667920e616

github mathlib4 bot (Oct 10 2025 at 11:12):

:cross_mark: Cloudflare cache retrieval/test failed for PR #28728 on commit 61e5c4c0d36903cb493ab7bd44c1ac667920e616

github mathlib4 bot (Oct 10 2025 at 11:18):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29925 on commit 61e5c4c0d36903cb493ab7bd44c1ac667920e616

github mathlib4 bot (Oct 14 2025 at 07:19):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29953 on commit 3aa3aca5742a8520388e668df501f753cb7ca679

github mathlib4 bot (Oct 14 2025 at 12:08):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29953 on commit 89e22b1ceb62f15de98f119b4db09befdf4db085

github mathlib4 bot (Oct 15 2025 at 04:38):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit cda8e891afb8be29c1abd6fc2ab6ffb6ce83ff09

github mathlib4 bot (Oct 15 2025 at 05:55):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit 9c16fb7dc3ce6b175a1fd3b99ef396b0ce2d1cc6

github mathlib4 bot (Oct 16 2025 at 01:44):

:cross_mark: Cloudflare cache retrieval/test failed for PR #90 on commit 6b832de385b24773084bf5e0afc077ef3818e85b

github mathlib4 bot (Oct 16 2025 at 01:44):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit 6f8b8a423a6b8aa3365f06aad0421a1331e36c1d

github mathlib4 bot (Oct 17 2025 at 00:07):

:cross_mark: Cloudflare cache retrieval/test failed for PR #90 on commit fd11747f8806e54ebef10d92ea8e73938c49be0a

github mathlib4 bot (Oct 17 2025 at 00:39):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit 6b0b0023232f5a2af7aac13d26af3badec88512c

github mathlib4 bot (Oct 17 2025 at 00:40):

:cross_mark: Cloudflare cache retrieval/test failed for PR #90 on commit fd11747f8806e54ebef10d92ea8e73938c49be0a

github mathlib4 bot (Oct 17 2025 at 05:40):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit 2f924cb79c413ce5cf158cf653bb8fe287622b1e

github mathlib4 bot (Oct 20 2025 at 04:18):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit d4bebca841729780455ab6acdb7a561dcf2b0341

github mathlib4 bot (Oct 20 2025 at 04:18):

:cross_mark: Cloudflare cache retrieval/test failed for PR #91 on commit cc9b82f01af06762d9a18161089f3ef9e3add054

github mathlib4 bot (Oct 20 2025 at 09:18):

:cross_mark: Cloudflare cache retrieval/test failed for PR #92 on commit 2306d7d9b82386325f61d4d7ee50da42008ddd93

github mathlib4 bot (Oct 20 2025 at 11:14):

:cross_mark: Cloudflare cache retrieval/test failed for PR #92 on commit f23e0ba9024f6f842294066395815de292210482

github mathlib4 bot (Oct 20 2025 at 13:01):

:cross_mark: Cloudflare cache retrieval/test failed for PR #92 on commit 597ea55c2bf41132fe7cee491374c72ba969639f

github mathlib4 bot (Oct 20 2025 at 14:30):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit 6d0a62ebb6f3da0e147dffadfd57f6dd9f8a009b

github mathlib4 bot (Oct 20 2025 at 15:03):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit 6d0a62ebb6f3da0e147dffadfd57f6dd9f8a009b

github mathlib4 bot (Oct 20 2025 at 15:59):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit 6d0a62ebb6f3da0e147dffadfd57f6dd9f8a009b

github mathlib4 bot (Oct 20 2025 at 20:14):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit 701f4d5d3adc1c9f96f04d692862f1feebe7a5b1

github mathlib4 bot (Oct 21 2025 at 02:51):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit 9fd765a38af1d644d0e34cc66820b1bda92ac36d

github mathlib4 bot (Oct 21 2025 at 04:57):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit 9f149a1f6459fc0c00884abbab0db5006d0a1115

github mathlib4 bot (Oct 21 2025 at 05:11):

:cross_mark: Cloudflare cache retrieval/test failed for PR #95 on commit 9f149a1f6459fc0c00884abbab0db5006d0a1115

github mathlib4 bot (Oct 21 2025 at 05:15):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit cbcb08883976c2953904c9b7180f12debe3c77f9

github mathlib4 bot (Oct 21 2025 at 05:55):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit 42328d03068c5dc53aeee5f742d257c98502cb31

github mathlib4 bot (Oct 21 2025 at 07:31):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit 1cefc988b7aed4293bc3d83dcab78f68ef36767e

github mathlib4 bot (Oct 21 2025 at 08:15):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30130 on commit 258b485d4252a0cb5049ee25e87107830f13b7d1

github mathlib4 bot (Oct 21 2025 at 08:18):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit 258b485d4252a0cb5049ee25e87107830f13b7d1

github mathlib4 bot (Oct 21 2025 at 08:33):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30540 on commit 258b485d4252a0cb5049ee25e87107830f13b7d1

github mathlib4 bot (Oct 21 2025 at 08:37):

:cross_mark: Cloudflare cache retrieval/test failed for PR #26396 on commit 258b485d4252a0cb5049ee25e87107830f13b7d1

github mathlib4 bot (Oct 21 2025 at 08:48):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit b353cae40a2f877f5d7873247bae00eed7bea4b2

github mathlib4 bot (Oct 21 2025 at 08:49):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30130 on commit 258b485d4252a0cb5049ee25e87107830f13b7d1

github mathlib4 bot (Oct 21 2025 at 08:50):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30130 on commit 258b485d4252a0cb5049ee25e87107830f13b7d1

github mathlib4 bot (Oct 21 2025 at 09:08):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30742 on commit 258b485d4252a0cb5049ee25e87107830f13b7d1

github mathlib4 bot (Oct 21 2025 at 09:09):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30540 on commit 258b485d4252a0cb5049ee25e87107830f13b7d1

github mathlib4 bot (Oct 21 2025 at 09:18):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29728 on commit 258b485d4252a0cb5049ee25e87107830f13b7d1

Johan Commelin (Oct 21 2025 at 09:18):

Cloudflare is on fire today!

github mathlib4 bot (Oct 21 2025 at 09:26):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30413 on commit 258b485d4252a0cb5049ee25e87107830f13b7d1

github mathlib4 bot (Oct 21 2025 at 09:32):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30413 on commit 258b485d4252a0cb5049ee25e87107830f13b7d1

github mathlib4 bot (Oct 21 2025 at 09:32):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30130 on commit 258b485d4252a0cb5049ee25e87107830f13b7d1

github mathlib4 bot (Oct 21 2025 at 09:38):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30413 on commit 258b485d4252a0cb5049ee25e87107830f13b7d1

Markus Himmel (Oct 21 2025 at 09:39):

This is just a wild guess that I haven't verified, but it might be that now that master is on 4.25.0-rc1, all PRs use the new cache logic from master, and so all PRs that are still on 4.24 fail. So basically the reverse of the problem Kim had a few days ago.

github mathlib4 bot (Oct 21 2025 at 09:43):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30130 on commit 258b485d4252a0cb5049ee25e87107830f13b7d1

github mathlib4 bot (Oct 21 2025 at 09:46):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit 2f5a6f220fa2466e6dff7802e9ebe11d45b23eed

github mathlib4 bot (Oct 21 2025 at 09:54):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30413 on commit 258b485d4252a0cb5049ee25e87107830f13b7d1

github mathlib4 bot (Oct 21 2025 at 09:55):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30330 on commit 258b485d4252a0cb5049ee25e87107830f13b7d1

github mathlib4 bot (Oct 21 2025 at 10:03):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30488 on commit 258b485d4252a0cb5049ee25e87107830f13b7d1

github mathlib4 bot (Oct 21 2025 at 10:28):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30330 on commit 258b485d4252a0cb5049ee25e87107830f13b7d1

github mathlib4 bot (Oct 21 2025 at 10:30):

:cross_mark: Cloudflare cache retrieval/test failed for PR #27742 on commit 258b485d4252a0cb5049ee25e87107830f13b7d1

github mathlib4 bot (Oct 21 2025 at 10:42):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30743 on commit 258b485d4252a0cb5049ee25e87107830f13b7d1

github mathlib4 bot (Oct 21 2025 at 10:46):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30719 on commit 258b485d4252a0cb5049ee25e87107830f13b7d1

github mathlib4 bot (Oct 21 2025 at 11:16):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30747 on commit 258b485d4252a0cb5049ee25e87107830f13b7d1

github mathlib4 bot (Oct 21 2025 at 11:19):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30747 on commit 258b485d4252a0cb5049ee25e87107830f13b7d1

github mathlib4 bot (Oct 21 2025 at 11:33):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30540 on commit 258b485d4252a0cb5049ee25e87107830f13b7d1

github mathlib4 bot (Oct 21 2025 at 11:46):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit 163be256868efaa86e3ce1926fe633d2c35f29aa

github mathlib4 bot (Oct 21 2025 at 11:49):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30263 on commit 258b485d4252a0cb5049ee25e87107830f13b7d1

github mathlib4 bot (Oct 21 2025 at 11:54):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30719 on commit 258b485d4252a0cb5049ee25e87107830f13b7d1

github mathlib4 bot (Oct 21 2025 at 11:56):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit ca97953459449f8a18929d85ae8486408e8d5d50

github mathlib4 bot (Oct 21 2025 at 12:37):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30743 on commit 258b485d4252a0cb5049ee25e87107830f13b7d1

github mathlib4 bot (Oct 21 2025 at 12:41):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30743 on commit 258b485d4252a0cb5049ee25e87107830f13b7d1

github mathlib4 bot (Oct 21 2025 at 12:52):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30596 on commit 7f43b3a97f3fa978255945f532011c3065d72ad9

github mathlib4 bot (Oct 21 2025 at 13:09):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30380 on commit 7f43b3a97f3fa978255945f532011c3065d72ad9

github mathlib4 bot (Oct 21 2025 at 13:10):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30726 on commit f07bd0325121718862be33645a23c4e55791271a

github mathlib4 bot (Oct 21 2025 at 13:35):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30726 on commit f07bd0325121718862be33645a23c4e55791271a

github mathlib4 bot (Oct 21 2025 at 13:49):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30750 on commit f07bd0325121718862be33645a23c4e55791271a

github mathlib4 bot (Oct 21 2025 at 14:25):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29781 on commit b758e7655e75c5182dc07bf1855fa553b6befc7f

github mathlib4 bot (Oct 21 2025 at 14:32):

:cross_mark: Cloudflare cache retrieval/test failed for PR #28695 on commit b758e7655e75c5182dc07bf1855fa553b6befc7f

github mathlib4 bot (Oct 21 2025 at 15:28):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29314 on commit b758e7655e75c5182dc07bf1855fa553b6befc7f

github mathlib4 bot (Oct 21 2025 at 15:36):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30751 on commit b758e7655e75c5182dc07bf1855fa553b6befc7f

github mathlib4 bot (Oct 21 2025 at 15:48):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29781 on commit 726f8bcd8b64823c155604a7157b0491445bca22

github mathlib4 bot (Oct 21 2025 at 15:48):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29300 on commit 726f8bcd8b64823c155604a7157b0491445bca22

github mathlib4 bot (Oct 21 2025 at 15:50):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30746 on commit 726f8bcd8b64823c155604a7157b0491445bca22

github mathlib4 bot (Oct 21 2025 at 16:31):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29781 on commit 2c2e85688ccb7d4f4c91988134cfcdb59f91cd84

github mathlib4 bot (Oct 21 2025 at 16:45):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30247 on commit 2c2e85688ccb7d4f4c91988134cfcdb59f91cd84

github mathlib4 bot (Oct 21 2025 at 16:50):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit d0f8a5418919274d8225d72b8a42037f555cd5ca

github mathlib4 bot (Oct 21 2025 at 16:57):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30241 on commit 2c2e85688ccb7d4f4c91988134cfcdb59f91cd84

github mathlib4 bot (Oct 21 2025 at 17:11):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30269 on commit 2c2e85688ccb7d4f4c91988134cfcdb59f91cd84

github mathlib4 bot (Oct 21 2025 at 17:11):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30269 on commit 2c2e85688ccb7d4f4c91988134cfcdb59f91cd84

github mathlib4 bot (Oct 21 2025 at 17:24):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30269 on commit 2c2e85688ccb7d4f4c91988134cfcdb59f91cd84

github mathlib4 bot (Oct 21 2025 at 17:24):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30269 on commit 2c2e85688ccb7d4f4c91988134cfcdb59f91cd84

github mathlib4 bot (Oct 21 2025 at 17:28):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30269 on commit 2c2e85688ccb7d4f4c91988134cfcdb59f91cd84

github mathlib4 bot (Oct 21 2025 at 17:55):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29507 on commit 2c2e85688ccb7d4f4c91988134cfcdb59f91cd84

github mathlib4 bot (Oct 21 2025 at 17:55):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30615 on commit 2c2e85688ccb7d4f4c91988134cfcdb59f91cd84

github mathlib4 bot (Oct 21 2025 at 18:06):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29284 on commit 2c2e85688ccb7d4f4c91988134cfcdb59f91cd84

github mathlib4 bot (Oct 21 2025 at 18:15):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29279 on commit 409ca752a08a4298e72b076e9e403bb713f7bcda

github mathlib4 bot (Oct 21 2025 at 18:16):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30674 on commit 2c2e85688ccb7d4f4c91988134cfcdb59f91cd84

github mathlib4 bot (Oct 21 2025 at 18:35):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30140 on commit a19486351878a13e2737bf5a838468e244624787

github mathlib4 bot (Oct 21 2025 at 18:38):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30615 on commit a19486351878a13e2737bf5a838468e244624787

github mathlib4 bot (Oct 21 2025 at 18:51):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30681 on commit a19486351878a13e2737bf5a838468e244624787

github mathlib4 bot (Oct 21 2025 at 19:11):

:cross_mark: Cloudflare cache retrieval/test failed for PR #27991 on commit a19486351878a13e2737bf5a838468e244624787

github mathlib4 bot (Oct 21 2025 at 19:19):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit f3948b59e27e8c7243a05731af1aad22c8c3d95c

github mathlib4 bot (Oct 21 2025 at 19:22):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30755 on commit a19486351878a13e2737bf5a838468e244624787

github mathlib4 bot (Oct 21 2025 at 19:25):

:cross_mark: Cloudflare cache retrieval/test failed for PR #28837 on commit a19486351878a13e2737bf5a838468e244624787

github mathlib4 bot (Oct 21 2025 at 19:30):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30059 on commit a19486351878a13e2737bf5a838468e244624787

github mathlib4 bot (Oct 21 2025 at 19:36):

:cross_mark: Cloudflare cache retrieval/test failed for PR #27578 on commit a19486351878a13e2737bf5a838468e244624787

github mathlib4 bot (Oct 21 2025 at 19:56):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29649 on commit a19486351878a13e2737bf5a838468e244624787

github mathlib4 bot (Oct 21 2025 at 20:11):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29868 on commit a19486351878a13e2737bf5a838468e244624787

github mathlib4 bot (Oct 21 2025 at 20:12):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30743 on commit 258b485d4252a0cb5049ee25e87107830f13b7d1

github mathlib4 bot (Oct 21 2025 at 20:40):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30757 on commit 3218e4a7b146eea135d23dbeccdf73f7a1921a32

github mathlib4 bot (Oct 21 2025 at 21:29):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30691 on commit 3218e4a7b146eea135d23dbeccdf73f7a1921a32

github mathlib4 bot (Oct 21 2025 at 21:30):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30685 on commit 3218e4a7b146eea135d23dbeccdf73f7a1921a32

github mathlib4 bot (Oct 21 2025 at 21:42):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30691 on commit 3218e4a7b146eea135d23dbeccdf73f7a1921a32

github mathlib4 bot (Oct 21 2025 at 21:47):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30685 on commit 3218e4a7b146eea135d23dbeccdf73f7a1921a32

github mathlib4 bot (Oct 21 2025 at 21:55):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30688 on commit 3218e4a7b146eea135d23dbeccdf73f7a1921a32

github mathlib4 bot (Oct 21 2025 at 21:58):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30688 on commit 3218e4a7b146eea135d23dbeccdf73f7a1921a32

github mathlib4 bot (Oct 21 2025 at 22:06):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30688 on commit 3218e4a7b146eea135d23dbeccdf73f7a1921a32

github mathlib4 bot (Oct 21 2025 at 23:01):

:cross_mark: Cloudflare cache retrieval/test failed for PR #25945 on commit dc0383147396626885fcf2b8d6bf81a357b06f41

github mathlib4 bot (Oct 21 2025 at 23:08):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30757 on commit 1f2d45d93162b9e9d44b5731392bf3087e4f3e97

github mathlib4 bot (Oct 22 2025 at 00:17):

:cross_mark: Cloudflare cache retrieval/test failed for PR #25945 on commit 1f2d45d93162b9e9d44b5731392bf3087e4f3e97

github mathlib4 bot (Oct 22 2025 at 01:33):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30763 on commit 4994494bf98173a5175569e85b6f5241e0c6085c

github mathlib4 bot (Oct 22 2025 at 02:36):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30768 on commit 1bbe77d5a913212a4038ce2d2d3f4ae1ff1cafab

github mathlib4 bot (Oct 22 2025 at 04:43):

:cross_mark: Cloudflare cache retrieval/test failed for PR #28077 on commit 1bbe77d5a913212a4038ce2d2d3f4ae1ff1cafab

github mathlib4 bot (Oct 22 2025 at 04:55):

:cross_mark: Cloudflare cache retrieval/test failed for PR #28077 on commit 1bbe77d5a913212a4038ce2d2d3f4ae1ff1cafab

github mathlib4 bot (Oct 22 2025 at 05:12):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30395 on commit 1bbe77d5a913212a4038ce2d2d3f4ae1ff1cafab

github mathlib4 bot (Oct 22 2025 at 06:23):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30237 on commit d9d1cc1012eccfc8d01215b1b7943b0e7f8b7757

github mathlib4 bot (Oct 22 2025 at 06:24):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30237 on commit d9d1cc1012eccfc8d01215b1b7943b0e7f8b7757

github mathlib4 bot (Oct 22 2025 at 07:08):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30691 on commit d9d1cc1012eccfc8d01215b1b7943b0e7f8b7757

github mathlib4 bot (Oct 22 2025 at 08:01):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30764 on commit d9d1cc1012eccfc8d01215b1b7943b0e7f8b7757

github mathlib4 bot (Oct 22 2025 at 10:08):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30738 on commit 26ace3363ae5a80b6368ee4ea2c6538b93519867

github mathlib4 bot (Oct 22 2025 at 10:18):

:cross_mark: Cloudflare cache retrieval/test failed for PR #27578 on commit 26ace3363ae5a80b6368ee4ea2c6538b93519867

github mathlib4 bot (Oct 22 2025 at 10:53):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit c9c954c0fc46ee3b9b9c64dd81c3240793e03949

github mathlib4 bot (Oct 22 2025 at 11:42):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30784 on commit 26ace3363ae5a80b6368ee4ea2c6538b93519867

github mathlib4 bot (Oct 22 2025 at 12:15):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30784 on commit 52404eb9d41e2d814169199b4930ff4279847223

github mathlib4 bot (Oct 22 2025 at 12:46):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30784 on commit 52404eb9d41e2d814169199b4930ff4279847223

github mathlib4 bot (Oct 22 2025 at 13:50):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30738 on commit e8336e1a7191cf78de1db80c0feb8648dfd7fe89

github mathlib4 bot (Oct 22 2025 at 13:52):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30738 on commit e8336e1a7191cf78de1db80c0feb8648dfd7fe89

github mathlib4 bot (Oct 22 2025 at 14:51):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30788 on commit e8336e1a7191cf78de1db80c0feb8648dfd7fe89

github mathlib4 bot (Oct 22 2025 at 14:53):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit 27d1ffc4963b94ac15f142d4dd57947bcd219b38

github mathlib4 bot (Oct 22 2025 at 15:03):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29642 on commit e8336e1a7191cf78de1db80c0feb8648dfd7fe89

github mathlib4 bot (Oct 22 2025 at 15:06):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29642 on commit e8336e1a7191cf78de1db80c0feb8648dfd7fe89

github mathlib4 bot (Oct 22 2025 at 15:07):

:cross_mark: Cloudflare cache retrieval/test failed for PR #27290 on commit e8336e1a7191cf78de1db80c0feb8648dfd7fe89

github mathlib4 bot (Oct 22 2025 at 15:11):

:cross_mark: Cloudflare cache retrieval/test failed for PR #27290 on commit e8336e1a7191cf78de1db80c0feb8648dfd7fe89

github mathlib4 bot (Oct 22 2025 at 15:52):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30768 on commit 1bbe77d5a913212a4038ce2d2d3f4ae1ff1cafab

github mathlib4 bot (Oct 22 2025 at 15:56):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30788 on commit e8336e1a7191cf78de1db80c0feb8648dfd7fe89

github mathlib4 bot (Oct 22 2025 at 15:57):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit 7cb5e0d648e266267be4915e613d5bcbe0db573f

github mathlib4 bot (Oct 22 2025 at 16:18):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit e298088bd2ac493206063c0c513d0ee44894b47e

github mathlib4 bot (Oct 22 2025 at 17:21):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30788 on commit ce36371eb03752b17b362f847cd1afebf6d6bc42

github mathlib4 bot (Oct 22 2025 at 17:30):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit b0e57efa9b5e80b964e0502a5bdc8045567debbf

github mathlib4 bot (Oct 22 2025 at 18:36):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30788 on commit 40d354e162fb38112ca354685cd465670a336591

github mathlib4 bot (Oct 22 2025 at 19:14):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30739 on commit 40d354e162fb38112ca354685cd465670a336591

github mathlib4 bot (Oct 23 2025 at 07:58):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30807 on commit 3ae8eef78a78deed0c6e7e7809aaf1793420366e

github mathlib4 bot (Oct 23 2025 at 08:03):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit b84b0bf9ba5318a65d774059fb4e12ef1c8ffefa

github mathlib4 bot (Oct 23 2025 at 08:07):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29953 on commit 3ae8eef78a78deed0c6e7e7809aaf1793420366e

github mathlib4 bot (Oct 23 2025 at 10:10):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30794 on commit 4cc49eb72b32ec1b173615a9d338887fa5013064

github mathlib4 bot (Oct 23 2025 at 10:18):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30130 on commit 4cc49eb72b32ec1b173615a9d338887fa5013064

github mathlib4 bot (Oct 23 2025 at 10:19):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30130 on commit 4cc49eb72b32ec1b173615a9d338887fa5013064

github mathlib4 bot (Oct 23 2025 at 10:25):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30130 on commit 4cc49eb72b32ec1b173615a9d338887fa5013064

github mathlib4 bot (Oct 23 2025 at 10:44):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30547 on commit 615903a29203e23c395f3ec68b763325ca989ea7

github mathlib4 bot (Oct 23 2025 at 10:53):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit c9c954c0fc46ee3b9b9c64dd81c3240793e03949

github mathlib4 bot (Oct 23 2025 at 10:56):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30130 on commit 615903a29203e23c395f3ec68b763325ca989ea7

github mathlib4 bot (Oct 23 2025 at 11:22):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30338 on commit 766e19e781a0992344fd4f24d2662858b6b87250

github mathlib4 bot (Oct 23 2025 at 12:00):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30804 on commit 766e19e781a0992344fd4f24d2662858b6b87250

github mathlib4 bot (Oct 23 2025 at 12:03):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30674 on commit 766e19e781a0992344fd4f24d2662858b6b87250

github mathlib4 bot (Oct 23 2025 at 12:15):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30684 on commit 766e19e781a0992344fd4f24d2662858b6b87250

github mathlib4 bot (Oct 23 2025 at 12:20):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30794 on commit 766e19e781a0992344fd4f24d2662858b6b87250

github mathlib4 bot (Oct 23 2025 at 12:22):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit bbf066fac357f716bd29c3253542702a7340b724

github mathlib4 bot (Oct 23 2025 at 13:09):

:cross_mark: Cloudflare cache retrieval/test failed for PR #28836 on commit 98b14016adbf3d90a2cc79399e49b9ee67b4155c

github mathlib4 bot (Oct 23 2025 at 13:19):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30710 on commit 2d881d4fcb060d8a18ea7ba4aad9ab60038e1e91

github mathlib4 bot (Oct 23 2025 at 13:31):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30714 on commit 2d881d4fcb060d8a18ea7ba4aad9ab60038e1e91

github mathlib4 bot (Oct 23 2025 at 13:34):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30669 on commit ba4e2b02439a1f9e935ee97f588bf6f8aa661351

github mathlib4 bot (Oct 23 2025 at 13:47):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30814 on commit ba4e2b02439a1f9e935ee97f588bf6f8aa661351

github mathlib4 bot (Oct 23 2025 at 13:50):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29321 on commit 2d881d4fcb060d8a18ea7ba4aad9ab60038e1e91

github mathlib4 bot (Oct 23 2025 at 13:57):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29300 on commit 2d881d4fcb060d8a18ea7ba4aad9ab60038e1e91

github mathlib4 bot (Oct 23 2025 at 14:04):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30274 on commit 2d881d4fcb060d8a18ea7ba4aad9ab60038e1e91

github mathlib4 bot (Oct 23 2025 at 14:28):

:cross_mark: Cloudflare cache retrieval/test failed for PR #28296 on commit 2d881d4fcb060d8a18ea7ba4aad9ab60038e1e91

github mathlib4 bot (Oct 23 2025 at 14:36):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit 1f495bee626573af1128c60bb6cf39a3205604da

github mathlib4 bot (Oct 23 2025 at 14:49):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit bcec6f83a23635eb0696ea47a9e78102944959fc

github mathlib4 bot (Oct 23 2025 at 14:52):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit 3ec89534de4779a55f2832028e994be2892d9f59

github mathlib4 bot (Oct 23 2025 at 14:58):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30752 on commit a6e83a064eade89980d68d5cd296a64c02b27b3a

github mathlib4 bot (Oct 23 2025 at 15:00):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit 4a3a28c8bc1944fbb8768c02bf29816293e21ffe

github mathlib4 bot (Oct 23 2025 at 15:07):

:cross_mark: Cloudflare cache retrieval/test failed for PR #28296 on commit 2d881d4fcb060d8a18ea7ba4aad9ab60038e1e91

github mathlib4 bot (Oct 23 2025 at 15:09):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29430 on commit a6e83a064eade89980d68d5cd296a64c02b27b3a

github mathlib4 bot (Oct 23 2025 at 15:22):

:cross_mark: Cloudflare cache retrieval/test failed for PR #28474 on commit a6e83a064eade89980d68d5cd296a64c02b27b3a

github mathlib4 bot (Oct 23 2025 at 15:32):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29430 on commit a6e83a064eade89980d68d5cd296a64c02b27b3a

github mathlib4 bot (Oct 23 2025 at 15:34):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30745 on commit a6e83a064eade89980d68d5cd296a64c02b27b3a

github mathlib4 bot (Oct 23 2025 at 15:35):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29430 on commit a6e83a064eade89980d68d5cd296a64c02b27b3a

github mathlib4 bot (Oct 23 2025 at 15:41):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29430 on commit a6e83a064eade89980d68d5cd296a64c02b27b3a

github mathlib4 bot (Oct 23 2025 at 15:45):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30821 on commit a6e83a064eade89980d68d5cd296a64c02b27b3a

github mathlib4 bot (Oct 23 2025 at 15:46):

:cross_mark: Cloudflare cache retrieval/test failed for PR #26962 on commit a6e83a064eade89980d68d5cd296a64c02b27b3a

github mathlib4 bot (Oct 23 2025 at 15:49):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30232 on commit a6e83a064eade89980d68d5cd296a64c02b27b3a

github mathlib4 bot (Oct 23 2025 at 15:54):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30692 on commit a6e83a064eade89980d68d5cd296a64c02b27b3a

github mathlib4 bot (Oct 23 2025 at 16:04):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30492 on commit d5b0059c2cfff178898a9386fa454aefa7ec4841

github mathlib4 bot (Oct 23 2025 at 16:24):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30674 on commit a6e83a064eade89980d68d5cd296a64c02b27b3a

github mathlib4 bot (Oct 23 2025 at 16:32):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29430 on commit d5b0059c2cfff178898a9386fa454aefa7ec4841

github mathlib4 bot (Oct 23 2025 at 16:37):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29430 on commit d5b0059c2cfff178898a9386fa454aefa7ec4841

github mathlib4 bot (Oct 23 2025 at 16:37):

:cross_mark: Cloudflare cache retrieval/test failed for PR #28836 on commit d5b0059c2cfff178898a9386fa454aefa7ec4841

github mathlib4 bot (Oct 23 2025 at 16:41):

:cross_mark: Cloudflare cache retrieval/test failed for PR #28836 on commit d5b0059c2cfff178898a9386fa454aefa7ec4841

github mathlib4 bot (Oct 23 2025 at 16:51):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30492 on commit d5b0059c2cfff178898a9386fa454aefa7ec4841

github mathlib4 bot (Oct 23 2025 at 16:54):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit f9627bd9508f802bd0b51cc817575c563cf1b2b7

github mathlib4 bot (Oct 23 2025 at 16:59):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30492 on commit d5b0059c2cfff178898a9386fa454aefa7ec4841

github mathlib4 bot (Oct 23 2025 at 17:05):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30413 on commit d5b0059c2cfff178898a9386fa454aefa7ec4841

github mathlib4 bot (Oct 23 2025 at 17:08):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30509 on commit d5b0059c2cfff178898a9386fa454aefa7ec4841

github mathlib4 bot (Oct 23 2025 at 17:17):

:cross_mark: Cloudflare cache retrieval/test failed for PR #26962 on commit d5b0059c2cfff178898a9386fa454aefa7ec4841

github mathlib4 bot (Oct 23 2025 at 17:20):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit 5378cf5a7e26aefeb7bdd77653f59899d05ef004

github mathlib4 bot (Oct 23 2025 at 17:30):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit 8377f926d82665930999cd0de8a1aa057c9f7f73

github mathlib4 bot (Oct 23 2025 at 17:40):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30823 on commit 32bd6c7c8ca4a4be1c71bc04df0c9cf929d04818

github mathlib4 bot (Oct 23 2025 at 18:01):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30389 on commit d5b0059c2cfff178898a9386fa454aefa7ec4841

github mathlib4 bot (Oct 23 2025 at 18:15):

:cross_mark: Cloudflare cache retrieval/test failed for PR #26457 on commit 32bd6c7c8ca4a4be1c71bc04df0c9cf929d04818

github mathlib4 bot (Oct 23 2025 at 18:29):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30829 on commit 32bd6c7c8ca4a4be1c71bc04df0c9cf929d04818

github mathlib4 bot (Oct 23 2025 at 18:29):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30829 on commit 32bd6c7c8ca4a4be1c71bc04df0c9cf929d04818

github mathlib4 bot (Oct 23 2025 at 18:31):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30738 on commit 32bd6c7c8ca4a4be1c71bc04df0c9cf929d04818

github mathlib4 bot (Oct 23 2025 at 18:43):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30330 on commit 0ceaa5574fba2874a4f848e8cc008cb35ebebe30

github mathlib4 bot (Oct 23 2025 at 18:44):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30232 on commit 0ceaa5574fba2874a4f848e8cc008cb35ebebe30

github mathlib4 bot (Oct 23 2025 at 18:46):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30830 on commit 0ceaa5574fba2874a4f848e8cc008cb35ebebe30

github mathlib4 bot (Oct 23 2025 at 18:48):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30738 on commit 32bd6c7c8ca4a4be1c71bc04df0c9cf929d04818

github mathlib4 bot (Oct 23 2025 at 18:48):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30830 on commit 0ceaa5574fba2874a4f848e8cc008cb35ebebe30

github mathlib4 bot (Oct 23 2025 at 19:33):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29770 on commit 0ceaa5574fba2874a4f848e8cc008cb35ebebe30

github mathlib4 bot (Oct 23 2025 at 19:36):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30736 on commit 0ceaa5574fba2874a4f848e8cc008cb35ebebe30

github mathlib4 bot (Oct 23 2025 at 19:38):

:cross_mark: Cloudflare cache retrieval/test failed for PR #26267 on commit 0ceaa5574fba2874a4f848e8cc008cb35ebebe30

github mathlib4 bot (Oct 23 2025 at 19:42):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30832 on commit 0ceaa5574fba2874a4f848e8cc008cb35ebebe30

github mathlib4 bot (Oct 23 2025 at 19:45):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30736 on commit 0ceaa5574fba2874a4f848e8cc008cb35ebebe30

github mathlib4 bot (Oct 23 2025 at 19:48):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30832 on commit 0ceaa5574fba2874a4f848e8cc008cb35ebebe30

github mathlib4 bot (Oct 23 2025 at 19:52):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30738 on commit 0ceaa5574fba2874a4f848e8cc008cb35ebebe30

github mathlib4 bot (Oct 23 2025 at 20:00):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29770 on commit 0ceaa5574fba2874a4f848e8cc008cb35ebebe30

github mathlib4 bot (Oct 23 2025 at 20:30):

:cross_mark: Cloudflare cache retrieval/test failed for PR #26831 on commit 0ceaa5574fba2874a4f848e8cc008cb35ebebe30

github mathlib4 bot (Oct 23 2025 at 20:37):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30736 on commit 0ceaa5574fba2874a4f848e8cc008cb35ebebe30

github mathlib4 bot (Oct 23 2025 at 20:55):

:cross_mark: Cloudflare cache retrieval/test failed for PR #push on commit 8377f926d82665930999cd0de8a1aa057c9f7f73

github mathlib4 bot (Oct 23 2025 at 21:02):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30826 on commit e3d2a83ca96e56a735d584c46c815edb3c9ecf3e

github mathlib4 bot (Oct 23 2025 at 21:14):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29284 on commit 08084901ae5b871682c538f3373864703fbf915f

github mathlib4 bot (Oct 23 2025 at 21:18):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30692 on commit e3d2a83ca96e56a735d584c46c815edb3c9ecf3e

github mathlib4 bot (Oct 23 2025 at 21:20):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30827 on commit 08084901ae5b871682c538f3373864703fbf915f

github mathlib4 bot (Oct 23 2025 at 21:27):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30832 on commit e3d2a83ca96e56a735d584c46c815edb3c9ecf3e

github mathlib4 bot (Oct 23 2025 at 21:57):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30059 on commit e3d2a83ca96e56a735d584c46c815edb3c9ecf3e

github mathlib4 bot (Oct 23 2025 at 21:58):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30834 on commit e3d2a83ca96e56a735d584c46c815edb3c9ecf3e

github mathlib4 bot (Oct 23 2025 at 22:29):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30836 on commit 090ad2e7695ebd477cb0235fe91e5db5cfa2814c

github mathlib4 bot (Oct 23 2025 at 22:30):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30835 on commit 090ad2e7695ebd477cb0235fe91e5db5cfa2814c

github mathlib4 bot (Oct 23 2025 at 23:23):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30837 on commit e091017a7b31c0ed52723a2f1a5addf4d2518a95

github mathlib4 bot (Oct 23 2025 at 23:27):

:cross_mark: Cloudflare cache retrieval/test failed for PR #27887 on commit 090ad2e7695ebd477cb0235fe91e5db5cfa2814c

github mathlib4 bot (Oct 23 2025 at 23:29):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30042 on commit 090ad2e7695ebd477cb0235fe91e5db5cfa2814c

github mathlib4 bot (Oct 23 2025 at 23:31):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30739 on commit 32bd6c7c8ca4a4be1c71bc04df0c9cf929d04818

github mathlib4 bot (Oct 24 2025 at 00:00):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30833 on commit b1e4080ea529b3f4f77f6f6a54e27f8ac31afc64

github mathlib4 bot (Oct 24 2025 at 00:06):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30838 on commit b1e4080ea529b3f4f77f6f6a54e27f8ac31afc64

github mathlib4 bot (Oct 24 2025 at 00:06):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30838 on commit b1e4080ea529b3f4f77f6f6a54e27f8ac31afc64

github mathlib4 bot (Oct 24 2025 at 00:15):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30826 on commit b1e4080ea529b3f4f77f6f6a54e27f8ac31afc64

github mathlib4 bot (Oct 24 2025 at 01:03):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30839 on commit e37e4dc73052f23c97056c28e347ee954e288a8d

github mathlib4 bot (Oct 24 2025 at 01:37):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30739 on commit e37e4dc73052f23c97056c28e347ee954e288a8d

github mathlib4 bot (Oct 24 2025 at 01:44):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30840 on commit e37e4dc73052f23c97056c28e347ee954e288a8d

github mathlib4 bot (Oct 24 2025 at 02:00):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30814 on commit e37e4dc73052f23c97056c28e347ee954e288a8d

github mathlib4 bot (Oct 24 2025 at 02:09):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30841 on commit e37e4dc73052f23c97056c28e347ee954e288a8d

github mathlib4 bot (Oct 24 2025 at 02:55):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30752 on commit a6e83a064eade89980d68d5cd296a64c02b27b3a

github mathlib4 bot (Oct 24 2025 at 02:58):

:cross_mark: Cloudflare cache retrieval/test failed for PR #27258 on commit 4c627ad62e618add663a2b8552e884809ee26a7a

github mathlib4 bot (Oct 24 2025 at 03:22):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30836 on commit 4c627ad62e618add663a2b8552e884809ee26a7a

github mathlib4 bot (Oct 24 2025 at 03:59):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30752 on commit 4c627ad62e618add663a2b8552e884809ee26a7a

github mathlib4 bot (Oct 24 2025 at 04:09):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30842 on commit 4c627ad62e618add663a2b8552e884809ee26a7a

github mathlib4 bot (Oct 24 2025 at 04:21):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30843 on commit 4c627ad62e618add663a2b8552e884809ee26a7a

github mathlib4 bot (Oct 24 2025 at 04:21):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30842 on commit 4c627ad62e618add663a2b8552e884809ee26a7a

github mathlib4 bot (Oct 24 2025 at 04:26):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30842 on commit 4c627ad62e618add663a2b8552e884809ee26a7a

github mathlib4 bot (Oct 24 2025 at 05:02):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30238 on commit 4c627ad62e618add663a2b8552e884809ee26a7a

github mathlib4 bot (Oct 24 2025 at 05:30):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30794 on commit 4c627ad62e618add663a2b8552e884809ee26a7a

github mathlib4 bot (Oct 24 2025 at 06:14):

:cross_mark: Cloudflare cache retrieval/test failed for PR #27578 on commit 4c627ad62e618add663a2b8552e884809ee26a7a

github mathlib4 bot (Oct 24 2025 at 06:49):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30844 on commit be9d1e42709f0c71f23bf54fdcea77c4058cd659

github mathlib4 bot (Oct 24 2025 at 06:52):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30794 on commit be9d1e42709f0c71f23bf54fdcea77c4058cd659

github mathlib4 bot (Oct 24 2025 at 06:55):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30674 on commit a6e83a064eade89980d68d5cd296a64c02b27b3a

github mathlib4 bot (Oct 24 2025 at 08:06):

:cross_mark: Cloudflare cache retrieval/test failed for PR #28296 on commit be9d1e42709f0c71f23bf54fdcea77c4058cd659

github mathlib4 bot (Oct 24 2025 at 08:11):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30794 on commit be9d1e42709f0c71f23bf54fdcea77c4058cd659

github mathlib4 bot (Oct 24 2025 at 08:15):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30059 on commit be9d1e42709f0c71f23bf54fdcea77c4058cd659

github mathlib4 bot (Oct 24 2025 at 08:16):

:cross_mark: Cloudflare cache retrieval/test failed for PR #28728 on commit be9d1e42709f0c71f23bf54fdcea77c4058cd659

github mathlib4 bot (Oct 24 2025 at 08:22):

:cross_mark: Cloudflare cache retrieval/test failed for PR #28077 on commit be9d1e42709f0c71f23bf54fdcea77c4058cd659

github mathlib4 bot (Oct 24 2025 at 08:22):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30845 on commit be9d1e42709f0c71f23bf54fdcea77c4058cd659

github mathlib4 bot (Oct 24 2025 at 08:35):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30238 on commit be9d1e42709f0c71f23bf54fdcea77c4058cd659

github mathlib4 bot (Oct 24 2025 at 09:03):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30846 on commit be9d1e42709f0c71f23bf54fdcea77c4058cd659

Henrik Böving (Oct 24 2025 at 09:04):

Has this bot ever succeeded?

github mathlib4 bot (Oct 24 2025 at 09:08):

:cross_mark: Cloudflare cache retrieval/test failed for PR #27244 on commit be9d1e42709f0c71f23bf54fdcea77c4058cd659

github mathlib4 bot (Oct 24 2025 at 09:12):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30684 on commit be9d1e42709f0c71f23bf54fdcea77c4058cd659

github mathlib4 bot (Oct 24 2025 at 09:17):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29885 on commit be9d1e42709f0c71f23bf54fdcea77c4058cd659

github mathlib4 bot (Oct 24 2025 at 09:20):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30632 on commit be9d1e42709f0c71f23bf54fdcea77c4058cd659

github mathlib4 bot (Oct 24 2025 at 09:27):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29885 on commit be9d1e42709f0c71f23bf54fdcea77c4058cd659

github mathlib4 bot (Oct 24 2025 at 09:31):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29430 on commit be9d1e42709f0c71f23bf54fdcea77c4058cd659

github mathlib4 bot (Oct 24 2025 at 09:42):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29885 on commit be9d1e42709f0c71f23bf54fdcea77c4058cd659

github mathlib4 bot (Oct 24 2025 at 09:49):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30680 on commit be9d1e42709f0c71f23bf54fdcea77c4058cd659

github mathlib4 bot (Oct 24 2025 at 10:03):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30590 on commit be9d1e42709f0c71f23bf54fdcea77c4058cd659

github mathlib4 bot (Oct 24 2025 at 10:06):

:cross_mark: Cloudflare cache retrieval/test failed for PR #29354 on commit be9d1e42709f0c71f23bf54fdcea77c4058cd659

github mathlib4 bot (Oct 24 2025 at 10:17):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30238 on commit be9d1e42709f0c71f23bf54fdcea77c4058cd659

github mathlib4 bot (Oct 24 2025 at 10:18):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30632 on commit be9d1e42709f0c71f23bf54fdcea77c4058cd659

github mathlib4 bot (Oct 24 2025 at 10:34):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30366 on commit 3d2dfe8657f22de61dc1c13813738a79fa06523d

github mathlib4 bot (Oct 24 2025 at 10:55):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30837 on commit 3d2dfe8657f22de61dc1c13813738a79fa06523d

github mathlib4 bot (Oct 24 2025 at 11:21):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30850 on commit 3d2dfe8657f22de61dc1c13813738a79fa06523d

github mathlib4 bot (Oct 24 2025 at 11:54):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30590 on commit 301d9925fcceb9f446ebb016cef9d6ab1e104425

github mathlib4 bot (Oct 24 2025 at 12:05):

:cross_mark: Cloudflare cache retrieval/test failed for PR #30242 on commit 50c7f343a1511ab740acf1ee41757affaa8ba24c