Your Name
|
a7e06efddb
|
gitlab-ci fix…
|
2019-03-08 23:40:36 +01:00 |
|
Your Name
|
178224c734
|
gitlab-ci fix…
|
2019-03-08 23:32:06 +01:00 |
|
Your Name
|
bccbeb352e
|
gitlab-ci fix…
|
2019-03-08 22:03:31 +01:00 |
|
Your Name
|
bcb9992921
|
gitlab-ci fix…
|
2019-03-06 10:43:44 +01:00 |
|
Your Name
|
89d22c3be8
|
gitlab-ci fix…
|
2019-03-06 10:37:53 +01:00 |
|
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 |
|