Skip to content

CI: Remove ARMv7 jobs

Bryan R requested to merge wip/remove-armv7-builds into master

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.

Merge request reports