Add default docker options, e.g. --no_cache and --pull

Merge request reports

Loading