diff options
-rw-r--r-- | .gitlab-ci.yml | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 9512380995..218bd7806b 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -405,33 +405,3 @@ cleanup-windows: - cd \GitLabRunner - rmdir /S /Q %BUILD_DIR%/* - exit /b 0 - -############################################################ -# Validation via CircleCI -############################################################ - -.circleci: - stage: build - image: ghcci/x86_64-linux-deb8:0.1 - artifacts: - when: always - expire_in: 2 week - reports: - junit: junit.xml - paths: - - ghc.tar.xz - - junit.xml - tags: - - circleci - -# All validation jobs keep the bindists and test results are artifacts, -# when we get far enough to generate them. -# -# This requires updating the maximum artifacts size limit in Gitlab to -# something like 200MB. - -.circleci-validate-x86_64-darwin: - extends: .circleci - stage: full-build - allow_failure: true - script: ".gitlab/circle-ci-job.sh validate-x86_64-darwin" |