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

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

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

Perfect :-)
All tests in this flight passed as required
version targeted for testing:
 xen                  a458d3bd0d2585275c128556ec0cbd818c6a7b0d
baseline version:
 xen                  f51d4a19427674491eaecef85c551613450188c5

Last test of basis   143396  2019-10-30 09:19:37 Z    4 days
Testing same since   143616  2019-11-03 09:24:51 Z    0 days    1 attempts

------------------------------------------------------------
People who touched revisions under test:
  Alexandru Isaila <aisaila@xxxxxxxxxxxxxxx>
  Alexandru Stefan ISAILA <aisaila@xxxxxxxxxxxxxxx>
  Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
  George Dunlap <george.dunlap@xxxxxxxxxx>
  Ian Jackson <ian.jackson@xxxxxxxxxxxxx>
  Jan Beulich <jbeulich@xxxxxxxx>
  Julien Grall <julien.grall@xxxxxxx>
  Mark Rutland <mark.rutland@xxxxxxx>
  Paul Durrant <paul.durrant@xxxxxxxxxx>
  Paul Durrant <paul@xxxxxxx>
  Roger Pau Monne <roger.pau@xxxxxxxxxx>
  Roger Pau Monné <roger.pau@xxxxxxxxxx>
  Ross Lagerwall <ross.lagerwall@xxxxxxxxxx>
  Stefano Stabellini <sstabellini@xxxxxxxxxx>
  Will Deacon <will.deacon@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
   f51d4a1942..a458d3bd0d  a458d3bd0d2585275c128556ec0cbd818c6a7b0d -> 
coverity-tested/smoke

_______________________________________________
osstest-output mailing list
osstest-output@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/osstest-output