Name and host for docker images - Githubissues

aremazeilles / eurobench_documentation

Description of some Eurobench Benchmarking Software mechanisms

5 stars 3 forks source link

Name and host for docker images #82

Open alfonsotecnalia opened 3 years ago

alfonsotecnalia commented 3 years ago

Two fields should be added to the PI_algo table:

docker_image_name: name/tag of the docker image.
docker_image_host: host where the docker image can be pulled from.