Where can I find my login credentials for TIRA's docker registry?

By login, the following command will be executed:

docker login -u YOUR-USER-NAME -p TOKEN-PROVIDED-BY-TIRA registry.webis.de

I didn’t see any entry to get a PAT in personal settings. Where should I find it?

Dear Jiabin,

You find your personal credentials after clicking on “Docker Submission” and then clicking on the “i” symbol next to “Add Container”.

There you find your personalized description on how to upload an docker image:

Best regards,


Dear Maik:

Thanks for your quick reply!

Best regards,