2 Commits

Author	SHA1	Message	Date
Grégoire Henry	67bbf11a12	CI: use our own docker image of opam	2017-08-16 10:52:36 +02:00
Grégoire Henry	eed9e7581d	Update CI	2017-08-04 18:32:52 +02:00