Use size-optimized docker build for on-push-CI as well#171

larskanis wants to merge 6 commits intomainrake-compiler/rake-compiler-dock:mainfrom

size-on-pushrake-compiler/rake-compiler-dock:size-on-pushCopy head branch name to clipboard