5 Commits

Author	SHA1	Message	Date
Grégoire Henry	ba6e78900c	Makefile: fix compat issue with macOS.	2017-08-22 14:55:46 +02:00
Grégoire Henry	a31bb86a63	CI: minor tweaks	2017-08-17 13:12:22 +02:00
Grégoire Henry	67bbf11a12	CI: use our own docker image of opam	2017-08-16 10:52:36 +02:00
Grégoire Henry	58b53d79c5	CI: fix the 'deploy' rules of alphanet/zeronet	2017-08-09 21:55:59 +02:00
Grégoire Henry	eed9e7581d	Update CI	2017-08-04 18:32:52 +02:00