gitlab-ci: Drop CircleCI jobs
authorBen Gamari <ben@smart-cactus.org>
Tue, 22 Jan 2019 19:25:05 +0000 (14:25 -0500)
committerBen Gamari <ben@well-typed.com>
Wed, 23 Jan 2019 19:07:28 +0000 (14:07 -0500)
It's pretty unlikely we will be going back to circleci at this point

[skip-ci]

.gitlab-ci.yml

index 9512380..218bd78 100644 (file)
@@ -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"