3 Commits

Author SHA1 Message Date
Lipu Fei
2a7b887eb2 Use group gitlab runners 2019-07-30 07:51:13 +02:00
Lipu Fei
e587367cc1 WIP GitLab CI: Add job for merge requests 2019-07-19 14:32:05 +02:00
Lipu Fei
31e20e78b6 Use GitLab CI 2019-04-03 07:49:26 +00:00