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

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

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

Perfect :-)
All tests in this flight passed as required
version targeted for testing:
 xen                  25849c8b16f2a5b7fcd0a823e80a5f1b590291f9
baseline version:
 xen                  93508595d588afe9dca087f95200effb7cedc81f

Last test of basis   155515  2020-10-07 09:19:32 Z    4 days
Testing same since   155687  2020-10-11 09:19:29 Z    0 days    1 attempts

------------------------------------------------------------
People who touched revisions under test:
  Bertrand Marquis <bertrand.marquis@xxxxxxx>
  Christian Lindig <christian.lindig@xxxxxxxxxx>
  Edwin Török <edvin.torok@xxxxxxxxxx>
  Jan Beulich <jbeulich@xxxxxxxx>
  Juergen Gross <jgross@xxxxxxxx>
  Julien Grall <jgrall@xxxxxxxxxx>
  Roman Shaposhnik <roman@xxxxxxxxxx>
  Stefano Stabellini <sstabellini@xxxxxxxxxx>
  Stefano Stabellini <stefano.stabellini@xxxxxxxxxx>
  Wei Liu <wl@xxxxxxx>

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
   93508595d5..25849c8b16  25849c8b16f2a5b7fcd0a823e80a5f1b590291f9 -> 
coverity-tested/smoke