gitlab-ci: Bump ci-images

Authored by bgamari on Sep 18 2019, 10:57 PM.

Description

gitlab-ci: Bump ci-images

This bumps the CI Docker images to
ghc/ci-images@990c5217d1d0e03aea415f951afbc3b1a89240c6.

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Tue, Sep 24, 7:50 AM
Parents
rGHCb23f01fda744: base: Add link to "A reflection on types"
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC4bbe0dba7213: gitlab-ci: Bump ci-images (authored by bgamari).Tue, Sep 24, 7:50 AM