CI: switch to auto-scaling runner

There are new auto-scaling runners available. @manu updated !651 (closed) to address this, but we need a ticket for it, too. At least to keep the @project_87_bot quiet...