summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2019-01-22 14:25:05 -0500
committerBen Gamari <ben@well-typed.com>2019-01-23 14:07:28 -0500
commitc9a02dfc32ea4304c1c0d02bd8091fd5d045741f (patch)
tree7c5476ba329b31aa27a6207e5413c0389740a054
parent5341edf3635f2875271acc469570481c52000374 (diff)
downloadhaskell-c9a02dfc32ea4304c1c0d02bd8091fd5d045741f.tar.gz
gitlab-ci: Drop CircleCI jobs
It's pretty unlikely we will be going back to circleci at this point [skip-ci]
-rw-r--r--.gitlab-ci.yml30
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"