Drop Docker images

Authored by bgamari on Feb 22 2019, 4:04 PM.

Description

Drop Docker images

These have been moved to the ghc/ci-images project.

Details

Committed
bgamariMar 1 2019, 4:07 PM
Parents
rGHCb90695cdaaa0: gitlab-ci: Pull docker images from ghc/ci-images registry
Branches
Unknown
Tags
Unknown