summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2018-12-18 09:37:19 -0500
committerBen Gamari <ben@smart-cactus.org>2018-12-18 09:37:19 -0500
commit77e4f731f17ed336d70ed147b740084839f211d7 (patch)
tree4a9be29fd85db63c6d6783073d8fc972e3f9de27
parentb00741030596f921486ea98a4956ff79a8caac1c (diff)
downloadhaskell-wip/gitlab-disable-circleci.tar.gz
gitlab: Disable Linux CircleCI buildswip/gitlab-disable-circleci
They can't complete now anyways now since we have lost access to larger builders.
-rw-r--r--.gitlab-ci.yml10
1 files changed, 5 insertions, 5 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 20a88ddf62..b37dcc26bd 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -296,17 +296,17 @@ validate-x86_64-windows:
# This requires updating the maximum artifacts size limit in Gitlab to
# something like 200MB.
-circleci-validate-x86_64-linux-deb8:
+.circleci-validate-x86_64-linux-deb8:
extends: .circleci
script: ".gitlab/circle-ci-job.sh validate-x86_64-linux-deb8"
-circleci-validate-i386-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-freebsd:
+ extends: .circleci
+ script: ".gitlab/circle-ci-job.sh validate-x86_64-freebsd"
circleci-validate-x86_64-darwin:
extends: .circleci