[tools][retrospective] CircleCI seems very slow recently
From retrospective 2021-07-09. We want to keep CI-specific implementations to a minimum to be able to migrate to other services. GHA offers the possibility to contribute local runners (read: our own hardware) which likely have more predictable performance.
- Spike ticket, setup GHA, see how it works, how fast and reliable it is (ticket to be filed)