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

Support
1

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?

2

Dear Jiabin,

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

Screenshot_20221018_175154
Screenshot_20221018_1751541741×443 52.1 KB

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

Screenshot_20221018_175416
Screenshot_20221018_1754161774×590 94.1 KB

Best regards,

Maik

3

Dear Maik:

Thanks for your quick reply!

Best regards,
Jiabin