chore: Suppress progress on pulling images on CI build of the project
We are now able to use --quiet
option only for docker pull
as we are using Docker CLI 19.03. With 20.03 CLI, we will able to use the option for push
too.
!45 (merged) is similar but that is for the product while this is just a chore of the project. cf. #27 (closed)