Grégoire Henry c0222e53ee CI: use the new opam images from tezos/opam-repository		2018-07-06 18:18:41 +02:00
..
create_docker_image.build.sh	CI: use the new opam images from tezos/opam-repository	2018-07-06 18:18:41 +02:00
create_docker_image.minimal.sh	CI: use the new opam images from tezos/opam-repository	2018-07-06 18:18:41 +02:00
docker_registry_delete.sh	CI: improve pipeline duration	2018-01-28 20:03:31 +01:00
docker_registry_read.sh	CI: improve pipeline duration	2018-01-28 20:03:31 +01:00
docker_registry_tag.sh	CI: improve pipeline duration	2018-01-28 20:03:31 +01:00
docker_registry.inc.sh	CI: improve pipeline duration	2018-01-28 20:03:31 +01:00