diff options
author | Ben Gamari <ben@smart-cactus.org> | 2018-12-07 11:24:07 -0500 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2018-12-07 11:24:07 -0500 |
commit | c77fbd94cc60301e5696b75cda44adb07da19a6a (patch) | |
tree | 142c5eae33655de6cac053bcf33e3625eb4a7d5e | |
parent | a6b4da8cd2e60618ae1819fbfc992b4958e40006 (diff) | |
download | haskell-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.yml | 3 |
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: |