diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2019-04-09 12:30:14 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2019-04-12 15:41:07 -0400 |
| commit | 8870a51bd62f2d4ee7bd21b96240d5806c2817af (patch) | |
| tree | a04016dcd7f6e2c9a3b206d337fc5e0c8bb14b86 /.gitlab | |
| parent | 30a0988d2a1398bc5be79e506a3cc55df4b5bd79 (diff) | |
| download | haskell-8870a51bd62f2d4ee7bd21b96240d5806c2817af.tar.gz | |
gitlab: Don't run lint-submods job on Marge branches
This broke Marge by creating a second pipeline (consisting of only the
`lint-submods` job). Marge then looked at this pipeline and concluded
that CI for her merge branch passed. However, this is ignores the fact
that the majority of the CI jobs are triggered on `merge_request` and
are therefore in another pipeline.
Diffstat (limited to '.gitlab')
0 files changed, 0 insertions, 0 deletions