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

The advantage is that the same cache entries are used as the publish and release workflows.
The downside is that more CI jobs are used in cascade, slowing down the overall CI run.

Author: larskanis