Docker registry

A Docker registry is a storage and content delivery system, holding named Docker images, available in different tagged versions.

Users interact with a registry by using Docker push and pull commands.


  • With Consumers: push and pull commands for saving and downloading task images.
  • With Docker: download task images and save task results.