Merge remote-tracking branch 'origin/master' into gw_add_gbit_links

9 jobs from gw_add_gbit_links in 116 minutes and 15 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Gateware
passed #10834
vivado-2019.2
build_diot_v1

32:56

passed #11160
vivado-2019.2
build_diot_v2

57:48

passed #10835
vivado-2019.2
build_diot_v2

56:56

 
  Bootbin
passed #10836
petalinux-2019.2
build-diot-v1-img

25:30

failed #11162
petalinux-2019.2
build-diot-v2-img

failed #11161
petalinux-2019.2
build-diot-v2-img

failed #11159
petalinux-2019.2
build-diot-v2-img

failed #11158
petalinux-2019.2
build-diot-v2-img

passed #10837
petalinux-2019.2
build-diot-v2-img

36:43

 
Name Stage Failure
failed
build-diot-v2-img Bootbin There has been a missing dependency failure
No job trace