5 Commits

Author	SHA1	Message	Date
Your Name	5fea21359c	gitlab-ci fix…	2019-03-06 10:35:55 +01:00
Your Name	6c3d6ceb18	Added opam commands to .gitlab-ci.yml	2019-03-06 10:33:09 +01:00
Your Name	43ebc969ec	GitLab does not have a sudo command	2019-03-06 10:26:21 +01:00
Your Name	ebf382093e	Typo in .gitlab-ci.yml	2019-03-06 10:21:23 +01:00
Your Name	d89483f04d	First version of GitLab CI configuration	2019-03-06 10:16:01 +01:00