[folks] (2 commits) ...Merge branch 'wip/nielsdg/add-gitlab-ci' into 'master'



Summary of changes:

  2f725b3... CI: add a GitLab CI file. (*)
  6ede900... Merge branch 'wip/nielsdg/add-gitlab-ci' into 'master'

(*) This commit already existed in another branch; no separate mail sent


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]