Remove mysql: reporters

These are now unnecessary and implied for all pipelines

Change-Id: I0eb4e8091f83f2923faf31ab942666a82ae1c80d
This commit is contained in:
Ian Wienand 2021-02-16 10:37:34 +11:00
parent 25c1fe8a45
commit 2d85e05f7a
1 changed files with 0 additions and 10 deletions

View File

@ -49,14 +49,12 @@
github:
check: 'success'
comment: false
mysql:
failure:
gerrit:
Verified: -1
github:
check: 'failure'
comment: false
mysql:
- pipeline:
name: gate
@ -96,11 +94,9 @@
gerrit:
Verified: 2
submit: true
mysql:
failure:
gerrit:
Verified: -2
mysql:
window-floor: 20
window-increase-factor: 2
@ -122,10 +118,8 @@
- event: change-merged
success:
gerrit: {}
mysql:
failure:
gerrit: {}
mysql:
- pipeline:
name: release
@ -140,7 +134,3 @@
github:
- event: push
ref: ^refs/tags/.*$
success:
mysql:
failure:
mysql: