Re: [cloud] #124: CI for Fedora-Dockerfiles