Run CI on Linux arm64

[cmb69]

Description

I've just learned about https://github.blog/changelog/2025-01-16-linux-arm64-hosted-runners-now-available-for-free-in-public-repositories-public-preview/.

Don't know how relevant Linux arm64 is, but maybe someone else knows.

[iluuu1994]

Interesting. We do run Linux on arm64 already through CircleCI. I don't think there's a big incentive to switch atm CircleCI is stable and fast, and using a different service likely improves build time slightly by parallelizing more jobs. But if people think it's beneficial to use the same service for all builds, I won't object.