[v9r3] CI: tag the docker image as devel if it is a pre release
Whenever we will be tagging a pre release, this will tag a devel
docker image after building it. The idea is to allow Ganga to do some early tests
Whenever we will be tagging a pre release, this will tag a devel
docker image after building it. The idea is to allow Ganga to do some early tests