CI: Use the shorter image names for less maint#716

Merged

ferrarimarco merged 2 commits intomasterfrom

ci-use-two-part-versions-in-images

Oct 1, 2019

Commits on Apr 10, 2019

CI: Use the shorter image names for less maint
olleolleolle
authored

Commits on Oct 1, 2019

Merge branch 'master' into ci-use-two-part-versions-in-images
ferrarimarco
authored