Switch GA to macos-13-large to test on ARM

[iluuu1994]

As an alternative to our Cirrus ARM build.

[iluuu1994]

The job was not started because recent account payments have failed or your spending limit needs to be increased.

That's what I feared 😞

[danog]

I can offer my arm64 SBCs as GHA workers :D

[iluuu1994]

@danog That's very generous, thank you! I'm afraid we need quite a bit of CI time, around 800h per month. We're considering Circle-CIs free tier for now. What does SBC stand for?

[danog]

SBCs are Single Board Computers, mainly I have an rk3288 board, a pi4 and probably a much more powerful rk3588 board soon that I can deploy https://github.com/ChristopherHX/github-act-runner on and set up at home on a separate VLAN :)

Mainly though I 100% intend to submit a PR for #12263 soon to run the php-src GHA on my visionfive2 board, need to work out a few kinks first, but I already got https://github.com/ChristopherHX/github-act-runner running nicely, so I don't even have to create a separate workflow :)

[iluuu1994]

@danog I've created #12415 for ARM for now. I think it makes more sense to rely on a CI service rather than personal machines, even though your offer is appreciated. Testing on RISC-V would be great if it is used in production. Otherwise it may be a waste of energy (both in terms of human and electric power). Do you have any numbers on RISC-V usage for servers?