jenkins: retry docker_build (#30629)
* retry docker build * retry docker build * retry docker build * does this work nicely? * docker fail! * Revert "docker fail!" This reverts commit ab227a1ea37fad3d6413081e4516211b474b0712.pull/214/head
parent
93cd19e3a5
commit
02373fcb05
1 changed files with 7 additions and 3 deletions
Loading…
Reference in new issue