1. 12 Mar, 2019 14 commits
  2. 30 Jan, 2019 1 commit
  3. 23 Jan, 2019 5 commits
  4. 08 Jan, 2019 3 commits
  5. 17 Dec, 2018 1 commit
  6. 13 Dec, 2018 2 commits
  7. 11 Dec, 2018 1 commit
  8. 04 Dec, 2018 5 commits
  9. 26 Nov, 2018 1 commit
  10. 15 Nov, 2018 1 commit
    • Vladimír Čunát's avatar
      CI: update clang tools for lint:* · 449851ff
      Vladimír Čunát authored
      In particular, in .gitlab-ci.yml I see no reason to hard-code
      the version of clang tools - it seems easier to control that
      only when generating the image.
      449851ff
  11. 14 Nov, 2018 2 commits
  12. 16 Oct, 2018 1 commit
  13. 14 Sep, 2018 3 commits