Add a Gitlab CI script that runs Circle CI validation jobs
[ghc.git] / .gitlab /
drwxr-xr-x   ..
-rwxr-xr-x 4961 circle-ci-job.sh