CI: Remove ARMv7 jobs
Today I'm removing ghc-arm-3 and ghc-arm-4, at which point there will be no support for armv7 in CI.
Most armv7 jobs fail regularly, anyway.
Followup is at #22409.
Today I'm removing ghc-arm-3 and ghc-arm-4, at which point there will be no support for armv7 in CI.
Most armv7 jobs fail regularly, anyway.
Followup is at #22409.