Support ARM architectures by also building on the upcoming ARM CI runners on github.
At the time of writing, ARM builds can AFAIK only be achieved on github CI through rather inefficient emulation (or custom runners, which we don't want to maintain).