Disable optimization when building Cabal
The Cabal build is enormous and constitutes the majority of the build time of the AArch64 and armv7 images. This cuts the Cabal build time down by 60%.
Due to a large amount of spam we do not allow new users to create repositories, they are "external" users. If you are a new user and want to create a repository, for example for forking GHC, open a new issue on ghc/ghc using the "get-verified" issue template
The Cabal build is enormous and constitutes the majority of the build time of the AArch64 and armv7 images. This cuts the Cabal build time down by 60%.