3 Commits

Author	SHA1	Message	Date
Grégoire Henry	2a07a14efd	Makefile: no need to pin local packages	2018-07-24 19:15:06 +02:00
Grégoire Henry	c0222e53ee	CI: use the new opam images from tezos/opam-repository	2018-07-06 18:18:41 +02:00
Grégoire Henry	99d0603a53	Opam: use pinned repo in docker image	2018-06-28 13:45:05 +02:00