backup location for mysql-8.0.31-winx64.zip

[divinity76]

in case of rate-limiting on dev.mysql.com. if the WINDOWS_X64_ZTS CI pass on this PR, that means it's probably working.
ref #17561

[iluuu1994]

Are we sure this is actually caused by rate-limiting? This error appeared for the very first build today. https://github.com/php/php-src/actions/runs/12950383228/job/36123045302

[divinity76]

i don't have a better theory, and I can download it from my own IP just fine 🤔
specifically this URL works from my home, but does not work on the github CI (HTTP 403 Forbidden): https://cdn.mysql.com//archives/mysql-8.0/mysql-8.0.31-winx64.zip

[divinity76]

I wonder why it's stuck on

Push / WINDOWS_X64_ZTS (pull_request) Queued — Waiting to run this check...

[iluuu1994]

I suspect this is a chocolatey or dev.mysql.com problem. Possibly, GH runs into rate-limiting because GH actions worker share a public IP. If that's the case, we should report the error rather than trying to fix it ourselves.

[cmb69]

It's a bit ridiculous to download the full MySQL (200MB?) for each and every PR/commit (see #16303 for an attempted alternative).

[iluuu1994]

@cmb69 I don't object to changing the installation process, but one thing that I dislike is the ever growing list of version numbers that we need to bump, especially if it includes the patch version. Is there a way we can avoid that?

[divinity76]

the problem seems to have vanished by itself (?)

[cmb69]

@iluuu1994, for MariaDB we could likely use their REST API; basically lock in to an LTS, and just detect whether there is a new point release.

the problem seems to have vanished by itself (?)

I had expected this. We're likely not the only one installing MySQL via GH actions. :)

[cmb69]

I had expected this.

Eventually (https://github.com/php/php-src/actions/runs/12949436197/job/36132329873)