Merge "Move github reporting to checks API"

zuul.d/pipelines.yaml

@@ -37,22 +37,25 @@
         - event: pull_request
           action: comment
           comment: (?i)^\s*recheck\s*$
+        - event: check_run
     start:
       github:
-        status: pending
+        check: 'in_progress'
         comment: false
     success:
       gerrit:
         # Note that gerrit keywords are case-sensitive.
         Verified: 1
       github:
-        status: 'success'
+        check: 'success'
+        comment: false
       mysql:
     failure:
       gerrit:
         Verified: -1
       github:
-        status: 'failure'
+        check: 'failure'
+        comment: false
       mysql:
 
 - pipeline:
@@ -386,17 +389,20 @@
         - event: pull_request
           action: comment
           comment: (?i)^\s*recheck\s*$
+        - event: check_run
     start:
       github:
-        status: pending
+        check: 'in_progress'
         comment: false
     success:
       github:
-        status: 'success'
+        check: 'success'
+        comment: false
       mysql:
     failure:
       github:
-        status: 'failure'
+        check: 'failure'
+        comment: false
       mysql:
     # Don't report merge-failures to github
     merge-failure: