summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2018-12-07 11:24:07 -0500
committerBen Gamari <ben@smart-cactus.org>2018-12-07 11:24:07 -0500
commitc77fbd94cc60301e5696b75cda44adb07da19a6a (patch)
tree142c5eae33655de6cac053bcf33e3625eb4a7d5e
parenta6b4da8cd2e60618ae1819fbfc992b4958e40006 (diff)
downloadhaskell-c77fbd94cc60301e5696b75cda44adb07da19a6a.tar.gz
CircleCI: Don't ignore gitlab/.* branches
This was added (for good reasons) in b9260e925e998f715865ae043bdb9f779ab5f849 but it seems this field isn't allowed in this context. Sadly there doesn't appear to be an easy way to accomplish what we are after with CircleCI's rather restrictive configuration language. Sigh.
-rw-r--r--.circleci/config.yml3
1 files changed, 0 insertions, 3 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml
index 68ab2c463d..eaac9455ea 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -351,9 +351,6 @@ workflows:
- validate-x86_64-fedora:
*trigger_on_tags
- branches:
- ignore: /gitlab\/.*/
-
nightly:
triggers:
- schedule: