[commit: ghc] ghc-8.6-ci: Grab CI configuration from master (0b12e01)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : ghc-8.6-ci
Link       : http://ghc.haskell.org/trac/ghc/changeset/0b12e01d868255b4eeecb0f71dad624fcb24665b/ghc

>---------------------------------------------------------------

commit 0b12e01d868255b4eeecb0f71dad624fcb24665b
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Wed Dec 26 12:01:10 2018 -0500

    Grab CI configuration from master
    
    This is awfully ugly but is nevertheless significantly less error-prone
    than cherry-picking all of the relevant commits manually.


>---------------------------------------------------------------

0b12e01d868255b4eeecb0f71dad624fcb24665b
 .circleci/config.yml                               | 324 ++++++++++++-----
 .circleci/images/aarch64-linux-deb9/Dockerfile     |  69 ++++
 .circleci/images/i386-linux-deb8/Dockerfile        |  45 +++
 .circleci/images/i386-linux-deb9/Dockerfile        |  45 +++
 .circleci/images/linters/Dockerfile                |  30 ++
 .../images/powerpc64le-linux-deb9-cross/Dockerfile |   7 +
 .circleci/images/update-image                      |  15 +-
 .circleci/images/x86_64-freebsd/Dockerfile         |   1 +
 .circleci/images/x86_64-linux-centos7/Dockerfile   |  54 +++
 .circleci/images/x86_64-linux-deb8/Dockerfile      |  35 ++
 .circleci/images/x86_64-linux-deb9/Dockerfile      |  46 +++
 .circleci/images/x86_64-linux-fedora27/Dockerfile  |  50 +++
 .circleci/prepare-system.sh                        |  23 +-
 .circleci/push-test-metrics.sh                     |  50 +++
 .gitlab-ci.yml                                     | 401 +++++++++++++++++++++
 .gitlab/circle-ci-job.sh                           | 110 ++++++
 .gitlab/darwin-init.sh                             |  41 +++
 .gitlab/fix-submodules.py                          |   8 +
 .gitlab/linters/check-cpp.py                       |  24 ++
 .gitlab/linters/check-makefiles.py                 |  19 +
 .gitlab/linters/linter.py                          | 109 ++++++
 .gitlab/win32-init.sh                              |  34 ++
 22 files changed, 1431 insertions(+), 109 deletions(-)

Diff suppressed because of size. To see it, use:

    git diff-tree --root --patch-with-stat --no-color --find-copies-harder --ignore-space-at-eol --cc 0b12e01d868255b4eeecb0f71dad624fcb24665b