Migrating off GitHub Actions is a non-trivial engineering effort. I know we've been talking for six months about "reducing our dependence" on GHA but it hasn't become a priority yet

The annoyedAtGitHub counter is so far monotonically increasing though.