[xen-unstable-coverity test] 151271: all pass - PUSHED

[osstest service owner <osstest-admin@xxxxxxxxxxxxxx>]

flight 151271 xen-unstable-coverity real [real]
http://logs.test-lab.xenproject.org/osstest/logs/151271/

Perfect :-)
All tests in this flight passed as required
version targeted for testing:
 xen                  fde76f895d0aa817a1207d844d793239c6639bc6
baseline version:
 xen                  3625b04991b4d6affadd99d377ab84bac48dfff4

Last test of basis   151186  2020-06-17 09:18:28 Z    4 days
Testing same since   151271  2020-06-21 09:18:26 Z    0 days    1 attempts

------------------------------------------------------------
People who touched revisions under test:
  Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
  Ian Jackson <ian.jackson@xxxxxxxxxxxxx>
  Igor Druzhinin <igor.druzhinin@xxxxxxxxxx>
  Jason Andryuk <jandryuk@xxxxxxxxx>
  Olaf Hering <olaf@xxxxxxxxx>
  Roger Pau Monné <roger.pau@xxxxxxxxxx>
  Samuel Thibault <samuel.thibaut@xxxxxxxxxxxx>
  Tamas K Lengyel <tamas.lengyel@xxxxxxxxx>

jobs:
 coverity-amd64                                               pass    


------------------------------------------------------------
sg-report-flight on osstest.test-lab.xenproject.org
logs: /home/logs/logs
images: /home/logs/images

Logs, config files, etc. are available at
    http://logs.test-lab.xenproject.org/osstest/logs

Explanation of these reports, and of osstest in general, is at
    http://xenbits.xen.org/gitweb/?p=osstest.git;a=blob;f=README.email;hb=master
    http://xenbits.xen.org/gitweb/?p=osstest.git;a=blob;f=README;hb=master

Test harness code can be found at
    http://xenbits.xen.org/gitweb?p=osstest.git;a=summary


Pushing revision :

To xenbits.xen.org:/home/xen/git/xen.git
   3625b04991..fde76f895d  fde76f895d0aa817a1207d844d793239c6639bc6 -> 
coverity-tested/smoke