gitlab-ci: Produce ARMv7 binary distributions

Authored by bgamari on Jun 11 2019, 7:27 PM.

Description

gitlab-ci: Produce ARMv7 binary distributions

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Sat, Oct 26, 6:53 PM
Parents
rGHC4820af10713d: hadrian: point link to ghc gitlab
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC609c7ee6d09d: gitlab-ci: Produce ARMv7 binary distributions (authored by bgamari).Sat, Oct 26, 6:53 PM