104 Commits

Author	SHA1	Message	Date
Georges Dupéron	fadc84f76c	gitlab-ci.yml syntax	2019-05-14 18:17:39 +02:00
Georges Dupéron	586d772488	Renamed job, use git submodules in gitlab-ci	2019-05-14 18:16:14 +02:00
Georges Dupéron	60f99b3e9c	Moved script to rewrite OPAM repository outside of the .gitlab-ci.yml in ligo repo	2019-05-14 18:05:47 +02:00
Georges Dupéron	c43570a82d	Move into src/; add vendors/ subfolder, add CI script.	2019-05-14 17:53:44 +02:00