summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2018-12-18 17:38:07 -0500
committerBen Gamari <ben@smart-cactus.org>2018-12-21 16:52:38 -0500
commitb1e029a9548090f4fa3e2a6a93814822b928561f (patch)
tree17a9ac9f7a5dab8b09a47eb11b17435e28505b67
parent95fbf87886c4a3c076d71d37e1306f64e0e98b57 (diff)
downloadhaskell-b1e029a9548090f4fa3e2a6a93814822b928561f.tar.gz
gitlab-ci: Remove CircleCI configuration
Our CircleCI builds will fail anyways without large instances.
-rw-r--r--.gitlab-ci.yml12
1 files changed, 0 insertions, 12 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b803358e91..5266d37c2a 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -331,18 +331,6 @@ validate-x86_64-windows:
# This requires updating the maximum artifacts size limit in Gitlab to
# something like 200MB.
-circleci-validate-x86_64-linux-deb8:
- extends: .circleci
- script: ".gitlab/circle-ci-job.sh validate-x86_64-linux-deb8"
-
-circleci-validate-i386-linux-deb8:
- extends: .circleci
- script: ".gitlab/circle-ci-job.sh validate-i386-linux-deb8"
-
-# circleci-validate-x86_64-freebsd:
-# extends: .circleci
-# script: ".gitlab/circle-ci-job.sh validate-x86_64-freebsd"
-
circleci-validate-x86_64-darwin:
extends: .circleci
script: ".gitlab/circle-ci-job.sh validate-x86_64-darwin"