diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2021-03-19 11:00:05 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2021-03-19 19:58:52 -0400 |
| commit | d03d876185da2db9b397c58a383c0eac1892cafc (patch) | |
| tree | f84725dcacb763322556fa6a392d3cb40b054f58 /libraries | |
| parent | 0a9866854384875e88406e495aba6594ac47799d (diff) | |
| download | haskell-d03d876185da2db9b397c58a383c0eac1892cafc.tar.gz | |
gitlab-ci: Ignore performance improvements in marge jobs
Currently we have far too many merge failures due to cumulative
performance improvements. Avoid this by accepting metric decreases in
marge-bot jobs.
Fixes #19562.
Diffstat (limited to 'libraries')
0 files changed, 0 insertions, 0 deletions