we have the problem that yesterday we pushed our docker image succesfully to Tira but dont find our image in the list of docker images.
Thanks for reaching out.
For some reason, the image that you uploaded has no tag.
Can you please give your image an explicit tag and upload again?
E.g., by using
docker build -t registry.webis.de/code-research/tira/tira-user-ir-lab-sose-2023-pentium/milestone-02:latest ...
and then pushing via:
docker push registry.webis.de/code-research/tira/tira-user-ir-lab-sose-2023-pentium/milestone-02:latest
(the tag in this case is
Thanks for the fast reply.
As you can see here we already did that, or at least i cant see what we did different here.
Ah, alright, now I see the problem, the upload did not finish, so the image was not uploaded (it failed with this unauthorized message).
Can you please try again, and upload the image again?
we will try it again later today.
It seems we succesfully pushed our image and also added and ran our container. Can you tell us if its the way it is supposed to be?
Yes, everything is correct!