Retry failed jobs
Summary
Some jobs fail randomly due to network problems, see also docker/ci#25. This MR adds the retry
keyword to rerun a job in case of failure.
Some jobs fail randomly due to network problems, see also docker/ci#25. This MR adds the retry
keyword to rerun a job in case of failure.
enabled an automatic merge when the pipeline for daf022d2 succeeds
mentioned in commit 4d7a9f02
merged