1. 17 Oct, 2018 1 commit
    • Guido Gunther's avatar
      Build with gitlab-ci · e1366296
      Guido Gunther authored
      This helps contributors to validate and make us a tid bitter than
      "compiles on my machine".
      e1366296