update (CicleCI) CI script to work with ghc-ci

Authored by alpmestan on Nov 28 2018, 9:31 AM.

Description

update (CicleCI) CI script to work with ghc-ci

ghc-ci is a tiny webservice that acts as an intermediate between our
CircleCI jobs on Gitlab and the actual builds running on CircleCI, so that
the build script doesn't need to rely on any secret, which makes the whole
setup fork-friendly.

The concrete effect of this patch is to allow any fork of GHC on Gitlab to
run CircleCI jobs.

Details

Committed
alpmestanDec 2 2018, 5:38 AM
Parents
rGHC93e86d610375: Hadrian: Print all testsuite output to stdout
Branches
Unknown
Tags
Unknown