ci: find a better solution than using docker registry

[Androz2091]

[Androz2091]

As soon as we get the new VM, host a GitHub Runner on the EPFL network and push from there.